ToySolver.Data.Boolean

Boolean algebra

class MonotoneBoolean a

class Complement a

class IfThenElse b a

iteBoolean

class Boolean a