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