org.sat4j.csp
Interfaces 
Clausifiable
Domain
Encoding
Evaluable
Classes 
Constant
CSPLauncher
EnumeratedDomain
Predicate
RangeDomain
SingletonDomain
SolverFactory
Var