Op
OpenQBF
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