CaDiCaL Simplified Satisfiability Solver

The goal of the development of CaDiCaL is to obtain a CDCL solver, which is easy to understand and change. Originally we wanted to radically simplify the design and internal data structures, but that goal was only achieved partially, for instance compared to Lingeling. However, the solver seems to be competetive to other state-of-the-art solvers now.

The sources of our SAT solver CaDiCaL as submitted to the SAT Competition 2017 and the SAT Competition 2018 are:

[ | ]

The latest releast can be found on the master branch of the of CaDiCaL repository on GitHub: