Op
OpenQBF
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.
Logiciels archivés