simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-10 21:24:06 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

prepare for 0.9.1

Browse source
This commit is contained in:
Simon Cruanes 2021-03-24 13:53:20 -04:00
parent db042f7b88
commit 457aa15729
3 changed files with 7 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
CHANGELOG.md
View file

@ -1,5 +1,10 @@
# CHANGES # CHANGES
## 0.9.1
- add `on_conflit` callback
- fix termination issue when using `push_decision_lit` from plugin
## 0.9 ## 0.9
- feat: allow the theory to ask for some literals to be decided on - feat: allow the theory to ask for some literals to be decided on

2
msat-bin.opam
View file

@ -2,7 +2,7 @@ opam-version: "2.0"
name: "msat-bin" name: "msat-bin"
synopsis: "SAT solver binary based on the msat library" synopsis: "SAT solver binary based on the msat library"
license: "Apache" license: "Apache"
version: "0.9" version: "0.9.1"
author: ["Simon Cruanes" "Guillaume Bury"] author: ["Simon Cruanes" "Guillaume Bury"]
maintainer: ["guillaume.bury@gmail.com" "simon.cruanes.2007@m4x.org"] maintainer: ["guillaume.bury@gmail.com" "simon.cruanes.2007@m4x.org"]
build: [ build: [

2
msat.opam
View file

@ -2,7 +2,7 @@ opam-version: "2.0"
name: "msat" name: "msat"
synopsis: "Library containing a SAT solver that can be parametrized by a theory" synopsis: "Library containing a SAT solver that can be parametrized by a theory"
license: "Apache" license: "Apache"
version: "0.9" version: "0.9.1"
author: ["Simon Cruanes" "Guillaume Bury"] author: ["Simon Cruanes" "Guillaume Bury"]
maintainer: ["guillaume.bury@gmail.com" "simon.cruanes.2007@m4x.org"] maintainer: ["guillaume.bury@gmail.com" "simon.cruanes.2007@m4x.org"]
build: [ build: [