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

prepare for 0.8.2

Browse source
This commit is contained in:
Simon Cruanes 2020-02-24 17:38:56 -06:00
parent c4a4edde3a
commit 65bd7e7744
3 changed files with 8 additions and 3 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
## 0.8.2
- fix opam file
- fix: allow conflicts below decision level in `Make_cdcl_t`
## 0.8.1
- fixes in `Heap`

2
msat-bin.opam
View file

@ -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.1"
version: "0.8.2"
author: ["Simon Cruanes" "Guillaume Bury"]
maintainer: ["guillaume.bury@gmail.com" "simon.cruanes.2007@m4x.org"]
build: [

4
msat.opam
View file

@ -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.1"
version: "0.8.2"
author: ["Simon Cruanes" "Guillaume Bury"]
maintainer: ["guillaume.bury@gmail.com" "simon.cruanes.2007@m4x.org"]
build: [
@ -17,7 +17,7 @@ depends: [
"containers" {with-test}
"mdx" {with-test}
]
tags: [ "sat" "smt" ]
tags: [ "sat" "smt" "cdcl" "functor" ]
homepage: "https://github.com/Gbury/mSAT"
dev-repo: "git+https://github.com/Gbury/mSAT.git"
bug-reports: "https://github.com/Gbury/mSAT/issues/"