A QBF solver in python for experimentation with machine learning ideas.
Latest commits.
Builders behind this project.
