kodkod.engine.config
Interfaces 
Reporter
Classes 
AbstractReporter
ConsoleReporter
Options
Enums 
Options.IntEncoding