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

ToySolver.Data.LA.FOL

Description

 

Documentation

fromFOLAtom :: (Real r, Fractional r) => Atom r -> Maybe (Atom r) Source #

toFOLFormula :: Real r => Atom r -> Formula (Atom r) Source #

fromFOLExpr :: (Real r, Fractional r) => Expr r -> Maybe (Expr r) Source #

toFOLExpr :: Real r => Expr r -> Expr r Source #