Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 

AQuA

| Beteiligte Mitarbeiter | Projektbeschreibung | Beschreibung | Benchmarks |


Beteiligte Mitarbeiter

Lehrstuhl für Rechnerarchitektur
Paolo Marin, PhD Entwickler / Kontakt


Projektbeschreibung

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. 



Beschreibung

Leistungsfähiger SAT Solver, Nachfolger von MiraXT.



Benchmarks

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