simple-smt 0.9.4 → 0.9.5
raw patch · 3 files changed
+4/−2 lines, 3 files
Files
- CHANGES +1/−0
- SimpleSMT.hs +1/−0
- simple-smt.cabal +2/−2
CHANGES view
@@ -1,3 +1,4 @@+0.9.5: Expose `loadString` 0.9.4: Add `toInt` and `toReal` 0.9.3: Fix incorrect rendering or `real` literals 0.9.2: add ppSExpr
SimpleSMT.hs view
@@ -11,6 +11,7 @@ , simpleCommand , simpleCommandMaybe , loadFile+ , loadString -- ** S-Expressions , SExpr(..)
simple-smt.cabal view
@@ -1,5 +1,5 @@ name: simple-smt-version: 0.9.4+version: 0.9.5 synopsis: A simple way to interact with an SMT solver process. description: A simple way to interact with an SMT solver process. license: BSD3@@ -15,7 +15,7 @@ library exposed-modules: SimpleSMT other-extensions: Safe, RecordWildCards- build-depends: base >=4.7 && <10,+ build-depends: base >=4.8 && <10, process default-language: Haskell2010