Subproject

S1

Categories

Core algorithms

Overview

State-of-the-art solver for QBF instances. Based on the AIGPP library.

Publications

F. Pigorsch and C. Scholl. An AIG-based QBF-Solver using SAT for preprocessing. In Sachin S. Sapatnekar, editor, Institute of Electrical and Electronics Engineers (IEEE) Design Automation Conference, pages 170-175, 2010.

F. Pigorsch and C. Scholl. Exploiting structure in an AIG based QBF solver. In Conference on Design, Automation and Test in Europe, pages 1596-1601, 2009.

Benchmarks

QBFLIB

Download

Click here for the binary.

Manual

Just type ./aigsolve -h on the command line to see how it can be used.

Status

Stable