limp-0.3.1.0: representation of Integer Linear Programs

Safe HaskellNone
LanguageHaskell2010

Numeric.Limp.Canon.Simplify

Description

Perform some simple optimisations on program

Documentation

simplify :: (Ord z, Ord r, Rep c) => Program z r c -> (Assignment z r c, Program z r c) Source

simplify' :: (Ord z, Ord r, Rep c) => Assignment z r c -> Program z r c -> (Assignment z r c, Program z r c) Source