README.md

d4 project

How to Compile

In order to compile the project cmake (version>=3.1) and ninja have to be installed. The following command lines then build and compile the project.

$ ./build.sh

The executable is called d4 and is in the build repository.

$ ./build/d4 -h

The following command line is to solve WeightedMax#SAT instances as in this article. We note that all options are the default ones, with file.wcnf being the input file.

$ ./build/d4 -i file.wcnf -m max#sat --float 1 --maxsharpsat-option-and-dig 1 --maxsharpsat-option-greedy-init 0 --maxsharpsat-heuristic-phase-random 5 --maxsharpsat-heuristic-phase best