Update README.md

meelgroup · Apr 12, 2024 · dcccfcb · dcccfcb
1 parent 2138961
commit dcccfcb
Showing 1 changed file with 17 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -56,6 +56,23 @@ apt-get install libgmp3-dev
 
 Then, build CryptoMiniSat, Arjun, and ApproxMC:
 ```bash
+# not required but very useful
+sudo apt-get install zlib1g-dev
+
+git clone https://github.com/meelgroup/cadical
+cd cadical
+git checkout mate-only-libraries-1.8.0
+./configure
+make
+cd ..
+
+git clone https://github.com/meelgroup/cadiback
+cd cadiback
+git checkout mate
+./configure
+make
+cd ..
+
 git clone https://github.com/msoos/cryptominisat
 cd cryptominisat
 mkdir build && cd build