presburger-0.4: Cooper's decision procedure for Presburger arithmetic.
Data.Integer.Presburger.SolveDiv
Synopsis
data DivCtr Source
A general divisible by constraint.
Constructors
data Env Source
Instances
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.