From 457aa157294da61d5497bd62758d8d4f60caa29a Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 24 Mar 2021 13:53:20 -0400 Subject: [PATCH] prepare for 0.9.1 --- CHANGELOG.md | 5 +++++ msat-bin.opam | 2 +- msat.opam | 2 +- 3 files changed, 7 insertions(+), 2 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 18112e88..0efb4bb4 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,5 +1,10 @@ # CHANGES +## 0.9.1 + +- add `on_conflit` callback +- fix termination issue when using `push_decision_lit` from plugin + ## 0.9 - feat: allow the theory to ask for some literals to be decided on diff --git a/msat-bin.opam b/msat-bin.opam index 99259285..ebba2627 100644 --- a/msat-bin.opam +++ b/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.9" +version: "0.9.1" author: ["Simon Cruanes" "Guillaume Bury"] maintainer: ["guillaume.bury@gmail.com" "simon.cruanes.2007@m4x.org"] build: [ diff --git a/msat.opam b/msat.opam index 8b99d2b8..380c02e7 100644 --- a/msat.opam +++ b/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.9" +version: "0.9.1" author: ["Simon Cruanes" "Guillaume Bury"] maintainer: ["guillaume.bury@gmail.com" "simon.cruanes.2007@m4x.org"] build: [