cd gecode-release-6.2.0/

make CXXUSR="-I/usr/local/include/python3.7m -L/usr/local/lib/libpython3.7m.a -lpython3.7m"

sudo make install


# Running the solver
cd ..
./run-solver $1 $2 $3 $4


