OpenQBF est un prouveur QBF en Java simple mais correct.

Il n’est plus maintenu depuis 2004.

Le code source du prouveur est disponible sur sourceforge.