prepare for 0.9

Author: c-cube

CHANGELOG.md

@@ -1,5 +1,10 @@
 # CHANGES
 
+## 0.9
+
+- feat: allow the theory to ask for some literals to be decided on
+- feat: allow to set the default polarity of variables at creation time
+
 ## 0.8.3
 
 - support containers 3.0

msat-bin.opam

@@ -2,7 +2,7 @@ opam-version: "2.0"
 name: "msat-bin"
 synopsis: "SAT solver binary based on the msat library"
 license: "Apache"
-version: "0.8.3"
+version: "0.9"
 author: ["Simon Cruanes" "Guillaume Bury"]
 maintainer: ["[email protected]" "[email protected]"]
 build: [

msat.opam

@@ -2,7 +2,7 @@ opam-version: "2.0"
 name: "msat"
 synopsis: "Library containing a SAT solver that can be parametrized by a theory"
 license: "Apache"
-version: "0.8.3"
+version: "0.9"
 author: ["Simon Cruanes" "Guillaume Bury"]
 maintainer: ["[email protected]" "[email protected]"]
 build: [