Bool
copris
b
Weightedsum
bool
CSP CSPTrait CoprisTrait
boolInt
CSP CSPTrait CoprisTrait
boolValues
Solution
bools
Abs Add Alldifferent And Bool CSP Count Cumulative Disjunctive Div Element Eq Expr Ge GlobalCardinality GlobalCardinalityWithCosts Gt If Iff Imp Le LexLess LexLesseq Lt Max Min Mod Mul Ne Neg Not Nvalue Or Sub Weightedsum Xor
boolsDelta
CSP