This project was born to help choose a sat solver to distribute with Spot(https://spot.lrde.epita.fr/).
These sat solvers had to be compatible with its GPL v3 licence.
At the end, picoSAT was finally chosen for its simplicity of integration and its performances.
Please, make sure those libraries are installed:
-lbenchmark (https://github.com/google/benchmark)
-lpthread (http://packages.ubuntu.com/yakkety/libpthread-stubs0-dev ubuntu).
-
make or make all:
-compile all satsolvers
-gather binaries in "bin" folder at the root directory
-compile bench program
-run bench with python script -
make bench:
-delete bench program, recompile it
-run bench with python script -
make clean:
-delete all building files.