Authors: Mikoláš Janota Contribution: Joao Marques-Silva
QESTO is a QBF (Quantified Boolean Formula) solver for instances with arbitrary number of alternations in the quantifier prefix and matrix in CNF (Conjunctive Normal Form). For details see [JS15].
To compile you will need noweb and a C++ compiler supporting -std=c++17.
[JS15] Solving QBF by Clause Selection Mikoláš Janota and Joao Marques-Silva. IJCAI 2015