Follow the instructions in the Getting Started section to build the project.
Use the command provided in the Running the Solver section to run the solver with appropriate options.
Sample input files are provided in the examples directory of the repository.
examples
There was an error while loading. Please reload this page.