org.smartfrog.sfcore.languages.csf.constraints
Interfaces 
Solver
Classes 
Constraint
CoreSolver
NullSolver
PrologSolver