Skip to content

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

License

Notifications You must be signed in to change notification settings

vedadux/nanoqbf

Repository files navigation

nanoqbf

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

To build the project you will need:

  • CMake 3.10
  • zlib
  • a C++11 compliant compiler

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.

About

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

Topics

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published