| CARVIEW |
Select Language
HTTP/2 302
content-type: text/html; charset=utf-8
location: //fmv.jku.at/sadical/
vary: Origin
x-request-id: 01KF01Q81360A328KNQMR82267
content-length: 44
date: Thu, 15 Jan 2026 05:23:14 GMT
HTTP/2 200
accept-ranges: bytes
cache-control: max-age=600
content-type: text/html; charset=utf-8
etag: "6eb996eab52cf1ece84e8bcdf0c9098455aa98f8d4214cdc612732cacd3708a8"
expires: Thu, 15 Jan 2026 06:33:14 CET
last-modified: Thu, 25 Sep 2025 14:38:37 GMT
vary: Origin
x-request-id: 01KF01Q86AQBEHM65AFCACGART
content-length: 5466
date: Thu, 15 Jan 2026 05:23:14 GMT
SaDiCaL
|
team
|
SaDiCaLSatisfication-Driven Clause Learning Satisfiability SolverThis page provides source code sadical.zip and data used in our TACAS'19 paper. We have log files prencode-log-files.zip available and for convenience also the benchmarks prencode-benchmarks.zip. |
