QuAbS

QuAbS (Quantified Abstraction Solver) is a certifying solver for quantified Boolean formulas (QBF) based on a CEGAR-based abstraction algorithm.
It accepts arbitrary Boolean formulas in QCIR format.

For solving QBFs in QDIMACS file format, see our CNF solver CAQE.

Download

Linux 64bit binaries are available for download (2016-05-19).
Source code will be available later.

Contact

Leander Tentrup

Copyright © 2016 Saarland University