SaDiCaL

Satisfication-Driven Clause Learning Satisfiability Solver

This 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.