diff --git a/README.md b/README.md
index 779bcc9..02d2109 100644
--- a/README.md
+++ b/README.md
@@ -24,19 +24,29 @@ There are approx. 16  solutions over the sampling set. Samples:  [[1, -2, 3, -4]
 ```
 sudo apt-get install build-essential cmake
 sudo apt-get install zlib1g-dev libboost-program-options-dev libboost-serialization-dev
+
 git clone https://github.com/msoos/cryptominisat
 cd cryptominisat
 mkdir build && cd build
-cmake -DUSE_GAUSS=ON ..
+cmake ..
 make
 sudo make install
 cd ../..
+
+git clone https://github.com/meelgroup/arjun/
+cd arjun
+mkdir build && cd build
+cmake ..
+make
+sudo make install
+
 git clone https://github.com/meelgroup/approxmc/
 cd approxmc
 mkdir build && cd build
 cmake ..
 make
 sudo make install
+
 cd ../..
 git clone https://github.com/meelgroup/unigen/
 cd unigen