Quaig

 

Subproject

S1

Categories

Core algorithms

Overview

Quaig is a tool which integrates complementary QBF solving techniques using two state-of-the-art solvers as substructure: AIGSolve (variable elimination) and QuBE (search based).

Publications

S. Reimer, F. Pigorsch, C. Scholl, and B. Becker. Integration of orthogonal QBF solving techniques. In Design, Automation and Test in Europe (DATE11), pages 149-154, 2011.

Benchmarks

QBFLIB

Download

Click here for the binary (requires QuBE7.2).

Manual

Just type ./Quaig on the command line to see how it can be used.

Status

Stable