prepare for 0.8.1

CHANGELOG.md

@@ -1,5 +1,17 @@
 # CHANGES
 
+## 0.8.1
+
+- fixes in `Heap`
+- package for `msat-bin`
+- use `iter` instead of `sequence` in dune and opam files
+- more docs
+
+## 0.8
+
+big refactoring, change of API with fewer functions, etc.
+see `git log` for more details.
+
 ## 0.6.1
 
 - add simple functor for DOT backend

README.md

@@ -156,7 +156,7 @@ It's able to parse sudoku grids denoted as 81 integers
 
 Here is a sample grid and the output from the solver (in roughly .5s):
 
-```sh
+```sh non-deterministic=command
 $ echo '..............3.85..1.2.......5.7.....4...1...9.......5......73..2.1........4...9' > sudoku.txt
 $ dune exec src/sudoku/sudoku_solve.exe -- sudoku.txt
 ...

dune

@@ -1,8 +1,7 @@
 
 (alias
  (name runtest)
- (package msat)
+ (deps README.md src/core/msat.cma src/sat/msat_sat.cma (source_tree src))
- (deps README.md src/core/msat.cma src/sat/msat_sat.cma src/sudoku/sudoku_solve.exe)
  (locks test)
  (action (progn
           (run mdx test README.md)

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"
+version: "0.8.1"
 author: ["Simon Cruanes" "Guillaume Bury"]
 maintainer: ["guillaume.bury@gmail.com" "simon.cruanes.2007@m4x.org"]
 build: [
@@ -11,8 +11,9 @@ build: [
 ]
 depends: [
   "ocaml" { >= "4.03" }
-  "dune" {build}
+  "dune" { >= "1.1" }
-  "msat" { >= "0.8" < "0.9" }
+  "msat" { = version }
+  "containers" { >= "2.0" }
   "camlzip"
 ]
 tags: [ "sat" ]

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"
+version: "0.8.1"
 author: ["Simon Cruanes" "Guillaume Bury"]
 maintainer: ["guillaume.bury@gmail.com" "simon.cruanes.2007@m4x.org"]
 build: [
@@ -12,7 +12,7 @@ build: [
 ]
 depends: [
   "ocaml" { >= "4.03" }
-  "dune" {build}
+  "dune" { >= "1.1" }
   "iter" { >= "1.2" }
   "containers" {with-test}
   "mdx" {with-test}