Package choco.cp.solver.constraints.integer.bool.sat

Class Summary
BinaryWLClause A specific class for binary clauses
ClauseStore A global constraint to store and propagate all clauses
DynWLClause A clause that can be added at any point in the search Todo
Lits A literal is a boolean variable or its negation This structure stores the lists of watched literals to ensure propagation of clauses
Vec<T>  
WLClause A clause is a set of litterals used within the watched literals propagation based global constraint for clauses (ClauseStore)
 



Copyright © 2012. All Rights Reserved.