ToySolver.Arith.Cooper.Base

Language of presburger arithmetics

type ExprZ

data Lit

evalLit

type QFFormula

fromLAAtom

(.|.)

evalQFFormula

type Model r

Projection

project

projectN

projectCases

projectCasesN

Constraint solving

solve

solveQFFormula

solveQFLIRAConj