QBFFam

swMATH41579MaRDI QIDQ1353558

No author found.

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