ToySolver.Data.Boolean

Boolean algebra

class MonotoneBoolean a

class Complement a

class Boolean a