PyQBF: A Python Framework for Solving Quantified Boolean Formulas. - Mark Peyrer; Maximilian Heisinger; Martina Seidl (IFM, 2024)

QRP+Gen: A Framework for Checking Q-Resolution Proofs with Generalized Axioms. - Mark Peyrer; Martina Seidl (SAT, 2025)