fix cadical depency

chrjabs · Aug 22, 2023 · 330fce7 · 330fce7
1 parent 386aa01
commit 330fce7
Show file tree

Hide file tree

Showing 3 changed files with 13 additions and 3 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "rustsat"
-version = "0.1.1"
+version = "0.1.2"
 edition = "2021"
 authors = ["Christoph Jabs <[email protected]>"]
 license = "MIT"

diff --git a/README.md b/README.md
@@ -7,4 +7,14 @@ The focus of the library is to provide as much ease of use without giving up on
 
 For example useage refer to the small example tools in the examples directory.
 For a bigger example you can look at this [multi-objective optimization
-solver](https://github.com/chrjabs/pminimal-rs).
+solver](https://github.com/chrjabs/pminimal-rs).
+
+## Versions
+
+### Version 0.1.2
+
+Updated initial version with working dependencies
+
+### Version 0.1.0 and 0.1.1
+
+Yankes because of dependencies that don't exist anymore
diff --git a/build.rs b/build.rs
@@ -33,7 +33,7 @@ fn main() {
     build_cadical(
         "https://github.com/chrjabs/cadical.git",
         "master",
-        "fa75b442e9b0d52668e0f5d75bd026ba39cde2fa",
+        "e7433d7b68c2f173b9ea4dc968c4784c8e7a4887",
     );
     build_kissat(
         "https://github.com/arminbiere/kissat.git",