choco.cp.solver.constraints.integer.bool.sat
Classes 
BinaryWLClause
ClauseStore
DynWLClause
Lits
Vec
WLClause