sci-mathematics@gentoo.org Gentoo Mathematics Project The goal of CaDiCaL is to provide a clean and efficient state-of-the-art CDCL solver, which is also easy to understand and change. https://github.com/arminbiere/cadical/issues/ arminbiere/cadical