This is the source code of Quantor a QBF solver described in:

A. Biere. Resolve and Expand. In Proc. 7th Intl. Conf. on Theory and
Applications of Satisfiability Testing (SAT'04). Lecture Notes in Computer
Science (LNCS), vol. 3542, Springer 2005.

Armin Biere, Linz, Fri Jun 22 10:41:57 CEST 2007
