ToySolver.SAT.PBNLC

type PBTerm

type PBSum

Adding constraints

addPBAtLeast

addPBAtMost

addPBExactly

addPBAtLeastSoft

addPBAtMostSoft

addPBExactlySoft

Linearlization

linearizePBSum

linearizePBSumWithPolarity

Evaluation

evalPBSum