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.shThe executable is called d4 and is in the build repository.
$ ./build/d4 -hThe 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