Partenaires
Accueil du site > Logiciels > Prouveurs QBF
Prouveurs QBF
QBFL
QBFL est un prouveur QBF prenant avantage des classes polynomiales de ce problème.
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.