Dependency

Install cmake:

sudo apt install cmake

Install gtest:

sudo apt install libgtest-dev
cd /usr/src/gtest
sudo cmake CMakeLists.txt
sudo make
sudo cp *.a /usr/lib

Compile

cmake .
make

Run

Run tests:

./runTests.sh

Run main solver:

src/unit 1 12345 # run this in one terminal
src/unit 2 12345 # run this in another terminal