kodkod.engine.ucore
Classes 
CRRStrategy
EmptyClauseConeStrategy
HybridStrategy
MinTopStrategy
NaiveStrategy
StrategyUtils