tests build git clone --recursive https://github.com/yuzhangbit/tests.git cd tests mkdir build && cd build cmake .. make -j4 make tests ./solver_test