ToySolver.Cooper

Language of presburger arithmetics

type ExprZ

data Lit

data QFFormula

fromLAAtom

(.|.)

Projection

project

projectCases

projectCasesN

Quantifier elimination

eliminateQuantifiers

Constraint solving

solve

solveQFFormula

solveFormula

solveQFLA