Portability | non-portable (FlexibleInstances, MultiParamTypeClasses) |
---|---|
Stability | provisional |
Maintainer | masahiro.sakai@gmail.com |
Safe Haskell | Safe-Inferred |
Arithmetic language (not limited to linear ones).
- data Expr r
- var :: Var -> Expr r
- evalExpr :: Fractional r => Model r -> Expr r -> r
- module Data.ArithRel
- type Atom c = Rel (Expr c)
- evalAtom :: (Real r, Fractional r) => Model r -> Atom r -> Bool
- module Data.FOL.Formula
- data SatResult r
Arithmetic expressions
Arithmetic expressions
Atomic formula
module Data.ArithRel
Arithmetic formula
module Data.FOL.Formula