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.


Archived software