ltentrup/QAIGER

AIGER format for Quantified Boolean Formulas