toysolver-0.3.0: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc

Safe HaskellNone
LanguageHaskell2010

ToySolver.Arith.LPUtil

Documentation

toStandardForm :: (Expr Rational, [ArithRel (Expr Rational)]) -> ((Expr Rational, [(Expr Rational, Rational)]), Model Rational -> Model Rational) Source

toStandardForm' :: (Expr Rational, [ArithRel (Expr Rational)]) -> ((Expr Rational, [(Expr Rational, Rational)]), VarMap (Expr Rational)) Source