These instructions will get you a copy of the project up and running on your local machine for development and testing purposes.
In order to compile this solver you need a C++ compiler supporting C++14.
Compile the programs by running make in the root directory.
This creates the binary
detkdecomp in the same directory.