InKreSAT: Modal Reasoning via Reduction to SAT

Saarland University

Computer Science

Programming Systems

Source code

inkresat-1.0.tar.bz2

Paper

Mark Kaminski and Tobias Tebbi.
InKreSAT: Modal Reasoning via Incremental Reduction to SAT.
CADE-24, LNCS 7898, pp. 436-442, Springer, June 2013.

Benchmark problems

3CNF-d246.tar.bz2 (2.6 MB, may take a while to decompress, requires 91 MB)
qbfS-v4816.tar.bz2 (TANCS-2000 modKSSS) (56 kB)
qbfL-v4.tar.bz2 (TANCS-2000 modKLadn) (40 kB)
qbfMS-v4816.tar.bz2 (72 kB)
qbfML-v4816.tar.bz2 (436 kB, may take a while to decompress, requires 187 MB)
lwb_k.tar.bz2 (72 kB)
lwb_s4.tar.bz2 (68 kB)

Legal notice, Privacy policy