choco.palm.search
Interfaces 
SymbolicDecision
Classes 
AbstractDecision
Assignment
NogoodConstraint