QBFL est un prouveur QBF prenant avantage des classes polynomiales de ce problème.