libcadical-dev 1.5.3-2 (arm64 binary) in ubuntu noble
CaDiCaL is a CDCL solver that is easy to understand and change, while at the
same time not being much slower than other state-of-the-art CDCL solvers.
.
This package contains development files for CaDiCaL. Install it if you
want to develop applications that use CaDiCaL's API.
Details
- Package version:
- 1.5.3-2
- Status:
- Superseded
- Component:
- universe
- Priority:
- Optional
Downloadable files
arm64 build of cadical 1.5.3-2 in ubuntu lunar PROPOSED produced
these files:
- libcadical-dev_1.5.3-2_arm64.deb (306.8 KiB)