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

Safe HaskellNone
LanguageHaskell2010

ToySolver.Data.LA.FOL

Documentation

toFOLExpr :: (Real r, Fractional r) => Expr r -> Expr r Source