Modules
Numeric.Limp.Canon
Numeric.Limp.Canon.Analyse.Constants
Numeric.Limp.Canon.Constraint
Numeric.Limp.Canon.Convert
Numeric.Limp.Canon.Linear
Numeric.Limp.Canon.Pretty
Numeric.Limp.Canon.Program
Numeric.Limp.Canon.Simplify
Numeric.Limp.Canon.Simplify.Bounder
Numeric.Limp.Canon.Simplify.Crunch
Numeric.Limp.Canon.Simplify.Subst
Numeric.Limp.Program
Numeric.Limp.Program.Bounds
Numeric.Limp.Program.Constraint
Numeric.Limp.Program.Eval
Numeric.Limp.Program.Linear
Numeric.Limp.Program.Program
Numeric.Limp.Program.ResultKind
Numeric.Limp.Rep