Clean and efficient state-of-the-art SAT solver
copied from cf-post-staging / cadicalCaDiCaL is a simplified SAT solver written in C++. It is designed to be clean, efficient, and easy to use. The solver is highly competitive in international SAT competitions and provides both a library and a standalone binary for solving SAT problems.