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