bindings-yices 0.2 → 0.3

raw patch · 2 files changed

+6/−1 lines, 2 files

Files

• Bindings/Yices.hs +5/−0
• bindings-yices.cabal +1/−1

@@ -186,6 +186,11 @@ mkGt = c_mk_gt mkGe = c_mk_ge +mkAdd, mkSub, mkMul :: Context -> [Expr] -> IO Expr+mkAdd ctx ee = withArray ee $ \ee_a ->c_mk_sum ctx ee_a (fromIntegral $ length ee)+mkSub ctx ee = withArray ee $ \ee_a ->c_mk_sub ctx ee_a (fromIntegral $ length ee)+mkMul ctx ee = withArray ee $ \ee_a ->c_mk_mul ctx ee_a (fromIntegral $ length ee)+ -- * Types  -- -------------

@@ -7,7 +7,7 @@ -- The package version. See the Haskell package versioning policy -- (http://www.haskell.org/haskellwiki/Package_versioning_policy) for -- standards guiding when and how versions should be incremented.-Version:             0.2+Version:             0.3  -- A short (one-line) description of the package. Synopsis:            Bindings to the Yices theorem prover