presburger-0.4: Cooper's decision procedure for Presburger arithmetic.
data DivCtr Source
A general divisible by constraint.
data Env Source
elim :: Env -> [(Name, Integer)] -> [DivCtr] -> [Env]Source
Given some variables with bounds on them, and a set of
divisible by constraints, we produce all possible assignments
to the variables that are in bounds, and satisfy the constraints.
Produced by Haddock version 2.9.2