QBFFam

swMATH41579MaRDI QIDQ1353558FDOQ1353558

Author name not available (Why is that?)

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