limp-0.3.1.0: representation of Integer Linear Programs
Numeric.Limp.Canon.Simplify
Description
Perform some simple optimisations on program
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