NobleBlocks
Public

PyQBF: A Python Framework for Solving Quantified Boolean Formulas

Published in Zenodo (CERN European Organization for Nuclear Research) • Aug 19, 2024
NobleIDNI1P51W73R86S37
Authors:
Mark Peyrer
,
Maximilian Heisinger
,
Martina Seidl

Abstract

PyQBF: A Python Framework for Solving Quantified Boolean Formulas Introduction This artifact was submitted by Mark Peyrer, Maximilian Heisinger and Martina Seidl for the iFM 2024 with the submission number 2625 aiming for Available, Functional and Reusable badges. It contains everything necessary to...

Subject

Computer science
Python (programming language)
Artifact (error)
Finding related papers...

Discussions

(0)

No comments yet

Be the first to share your thoughts!