GitHub repository: potassco/qasp2qbf
Primary language: Python
Description: A translator from quantified answer set programming to quantified boolean formula