Partenaires

CNRS
Université d'Artois IUT de Lens



retour à l'accueil

Home page > Software > QBF solvers

QBF solvers

OpenQBF

OpenQBF is a QBF solver written in Java. It is simple but correct. It is not maintained anymore since 2004. Source code is available at sourceforge.

Read more

QBFL

QBFL is a QBF solver taking advantage of the polynomial classes of this problem.

Read more