Update README.md

meelgroup · Apr 12, 2024 · eedcf1f · eedcf1f
1 parent ce2d293
commit eedcf1f
Showing 1 changed file with 18 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -12,8 +12,25 @@ sudo apt-get install build-essential cmake
 sudo apt-get install zlib1g-dev
 ```
 
-Then, build CryptoMiniSat and Arjun:
+Then, build our version of CaDiCaL, CadiBack, CryptoMiniSat, and Arjun:
 ```
+# 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