kodkod.engine
Interfaces 
Cost
Classes 
Evaluator
Proof
Solution
Solver
Statistics
Enums 
Solution.Outcome
Exceptions 
AbortedException