diff --git a/Bindings/Yices.hs b/Bindings/Yices.hs
--- a/Bindings/Yices.hs
+++ b/Bindings/Yices.hs
@@ -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
 
 -- -------------
diff --git a/bindings-yices.cabal b/bindings-yices.cabal
--- a/bindings-yices.cabal
+++ b/bindings-yices.cabal
@@ -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