Version von AIGSolve. Eliminierungsbasiertes Verfahren zur Evaluation von QBF. Inklusive Branch für MaxQBF.
Manager: Aile Ge-Ernst, Felix Winterer, Sven Reimer, Tobias Paxian
User: Tobias Seufert