AQuA

| project staff | project description | description | benchmarks |

Advanced Quantified Boolean Formulas Analyzer

AQuA is a search based QBF solver that has been designed to be configurable, extendable, and efficient at the same time. 

Powerful SAT solver, successor tool of MiraXT.

Any SAT formula in Dimacs format. A collection of SAT problems can be found at the SAT Competition.