🧊 A translator from quantified answer set programming to quantified boolean formula - View it on GitHub