simple-smt 0.3.0 → 0.4.0

raw patch · 3 files changed

+5/−2 lines, 3 files

Files

CHANGES +1/−0
SimpleSMT.hs +1/−1
simple-smt.cabal +3/−1

+ CHANGES view

@@ -0,0 +1,1 @@+0.4: Fixes definiiton of `geq`

SimpleSMT.hs view

@@ -512,7 +512,7 @@  -- | Greater-than-or-equal-to. geq :: SExpr -> SExpr -> SExpr-geq x y = fun "<=" [x,y]+geq x y = fun ">=" [x,y]  -- | Less-than-or-equal-to. leq :: SExpr -> SExpr -> SExpr

simple-smt.cabal view

@@ -1,5 +1,5 @@ name:                simple-smt-version:             0.3.0+version:             0.4.0 synopsis:            A simple way to interact with an SMT solver process. description:         A simple way to interact with an SMT solver process. license:             BSD3@@ -9,6 +9,8 @@ category:            Math build-type:          Simple cabal-version:       >=1.10++extra-source-files:  CHANGES  library   exposed-modules:     SimpleSMT