Skip to content

SoftVarE-Group/d4v2

 
 

Repository files navigation

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

About

No description, website, or topics provided.

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

 
 
 

Languages

  • C++ 83.9%
  • Python 8.2%
  • C 3.9%
  • Shell 2.9%
  • Other 1.1%