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 latest releast can be found on the master branch of the of CaDiCaL repository on GitHub: