ToySolver.Data.FOL.Arith

Arithmetic expressions

data Expr r

var

evalExpr

Atomic formula

type Atom c

evalAtom

Arithmetic formula

Misc

data SatResult r