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

Safe HaskellNone

Data.LA.FOL

Documentation

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

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

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

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