areqs

Submitter: Mikolas Janota
Description: Devised by Mikolas Janota, is an implementation of the 2QBF algorithm described in
Janota, M., Marques-Silva, J.: Abstraction-based algorithm for 2QBF. In: International Conference on Theory and Applications of Satisfiability Testing, Springer(2011) 230244
Results: