presburger-0.4: Cooper's decision procedure for Presburger arithmetic.

Data.Integer.Presburger.SolveDiv

Synopsis

Documentation

data DivCtr Source

A general divisible by constraint.

Constructors

Divs !Integer !Term 

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.