Submitter: Francesco Ricca
Description: Devised by G. Amendola, C. Dodaro, and F. Ricca, is a proof of concept of a 2QBF solver based on ASP solvers. The input formula is preprocessed with bloqqer, and then transformed in a ground ASP program according to the classical Eiter-Gottlob encoding of 2QBF in ASP, so that it can be evaluated by using an ASP solver.