Development files for cadical
Library links and header files for developing applications that use cadical.
Release | Stable | Testing |
---|---|---|
Fedora Rawhide | 1.9.5-1.fc41 | - |
Fedora 40 | 1.9.5-1.fc40 | 1.9.5-1.fc40 |
Fedora 39 | 1.9.4-1.fc39 | - |
Fedora 38 | 1.5.3-2.fc38 | - |
You can contact the maintainers of this package via email at
cadical dash maintainers at fedoraproject dot org
.