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