Picologic.AST
data Expr
data Ident
data Solutions
type Ctx
variables
eval
cnf
nnf
simp
isConst
propConst
subst
partEval