toysolver-0.0.5: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc
Algorithm.LPUtil
toStandardForm :: (Expr Rational, [Rel (Expr Rational)]) -> ((Expr Rational, [(Expr Rational, Rational)]), Model Rational -> Model Rational)Source
toStandardForm' :: (Expr Rational, [Rel (Expr Rational)]) -> ((Expr Rational, [(Expr Rational, Rational)]), VarMap (Expr Rational))Source