AQuA

| Beteiligte Mitarbeiter | Projektbeschreibung | Beschreibung | 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. 

Leistungsfähiger SAT Solver, Nachfolger von MiraXT.

Jede beliebige SAT Formel in Dimacs Format. Eine Sammlung von SAT Problemen ist bei der SAT Competition zu finden.