QBFFam

MaRDI QIDQ1353558swMATHFDO

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