ToySolver.Cooper.Core

Language of presburger arithmetics

type ExprZ

data Lit

evalLit

data QFFormula

fromLAAtom

(.|.)

evalQFFormula

Projection

project

projectN

projectCases

projectCasesN

Constraint solving

solve

solveQFFormula

solveQFLA