JKU

TNF / INF

team
contact
software
publications
teaching
jobs


GI-Dissertation Award 2020

FMCAD'20 Student Forum Best Student Contribution

SAT'20 Best Presentation Award

GCAI'19 Post and Interaction Award

IJCAI-JAIR 2019 Award

SAT'19 Best Student Paper

CAV'18 Award

HVC'17 Best Paper

ETAPS'17 Test of Time Award

HVC'15 Award

FMCAD'17 Best Paper

CADE'17 Best Paper

BMC

Handbook of Satisfiability

UML@Classroom

UML@Classroom

www.digitaltechnik.org

[  download | license ]

Compsat

Download

[ compsat-1.1.tar.gz | compsat-1.2.tar.gz | compsat-1.3.tar.gz | compsat-1.4.tar.gz ]

The latest release version 1.4 contains an extended API for usage of compsat as backend for our QBF solver Quantor. It also contains the decomposition code described in our paper Decomposing SAT Problems into Connected Components. For more information on SAT and our solvers see the solver section on our software page. The technical report The Evolution from Limmat to Nanosat may also be interesting.

License

We use a BSD style license. In essence, you can use and modify the sources as you like provided that you acknowledge the origin of the software. More details can be found in the COPYRIGHT file that comes with the sources.