A circuit-based QBF solver. The underlying algorithm is explained in [1].
Ideally, this should work out-of-the-box:
./configure [OPTIONS] && cd build && make
See ./configure -h
for configurations.
The configure script is responsible for downloading and compiling the selected SAT solver.
Remark on the cmake required version: it's at 3.24 at this point because it lets me force static for zlib. If you don't care about static compilation, lower versions of cmake should also work.
- Towards Generalization in QBF Solving via Machine Learning, Mikoláš Janota in SAT '18