QB
QBFL
QBFL est un prouveur QBF prenant avantage des classes polynomiales de ce problème.
Logiciels archivés