ToySolver.Data.Boolean

Boolean algebra

class Complement a

class Boolean a

andB

orB