QBFFam

swMATH41579MaRDI QIDQ1353558FDOQ1353558

Author name not available (Why is that?)

Official website: https://www.ti1.uni-jena.de/ti1media/publications/qbffam.pdf

Source code repository: https://github.com/marseidl/qbffam

Described by source

• QBFFam: a tool for generating QBF families from proof complexity

This page was built for software: QBFFam