ToySolver.SAT.Encoder.PBNLC

The encoder type

data Encoder m

newEncoder

getTseitinEncoder

Adding constraints

addPBNLAtLeast

addPBNLAtMost

addPBNLExactly

addPBNLAtLeastSoft

addPBNLAtMostSoft

addPBNLExactlySoft

Linearization

linearizePBSum

linearizePBSumWithPolarity