QBF solvers
OpenQBF is a QBF solver written in Java. It is simple but correct.
It is not maintained anymore since 2004.
Source code is available at sourceforge.
Read more
QBFL is a QBF solver taking advantage of the polynomial classes of this problem.
Read more
