ToySolver.Data.BoolExpr

BoolExpr type

data BoolExpr a

Operations

fold

simplify