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