toysolver-0.7.0: Assorted decision procedures for SAT, SMT, Max-SAT, PB, MIP, etc
Copyright(c) Masahiro Sakai 2012
LicenseBSD-style
Maintainermasahiro.sakai@gmail.com
Stabilityprovisional
Portabilityportable
Safe HaskellSafe-Inferred
LanguageHaskell2010

ToySolver.Arith.LPUtil

Description

 

Documentation

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

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