search

vedadux / nanoqbf

A minimal implementation of an expansion-based QBF solver which does not use recursion.
GNU General Public License v3.0
0 stars 1 forks source link
formal-logic formal-methods logic qbf qbf-solver

readme

nanoqbf

A minimal implementation of an expansion-based QBF solver which does not use recursion.

To build the project you will need:

Building NanoQBF in Release mode:

mkdir release && cd release;
cmake -DCMAKE_BUILD_TYPE=Release .. && make;

The build process will automatically download the MapleSAT SAT solver and build it. You should only get warnings while building MapleSAT, and not the main NanoQBF source files. Feel free to file an issue if a newer compiler breaks the build process.