Fedora Packages


Simplified SAT solver

CaDiCaL is a simplified Satisfiability solver. The goal of the development of CaDiCaL is to obtain a CDCL solver, which is easy to understand and change, while at the same time not being much slower than other state-of-the-art CDCL solvers.

Releases Overview

Release Stable Testing
Fedora Rawhide 1.5.2-3.fc37 -
Fedora 36 1.5.2-2.fc36 -
Fedora 35 1.4.1-2.fc35 -
File a new bug report »
Package Info
Related Packages

You can contact the maintainers of this package via email at cadical dash maintainers at fedoraproject dot org.

Sources on Pagure