cadical 1.7.4-1 source package in Ubuntu
Changelog
cadical (1.7.4-1) unstable; urgency=medium * Update to new upstream release 1.7.4 * Update Standards-Version to 4.6.2 * Mark patch as forwarded * Clean manpages to fix source build after build (Closes: #1043602) * Mark libcadical-dev Multi-Arch: same * Update ldflags patch to set CPPFLAGS also -- Scott Talbert <email address hidden> Sat, 10 Feb 2024 23:08:27 -0500
Upload details
- Uploaded by:
- Debian Science Maintainers
- Uploaded to:
- Sid
- Original maintainer:
- Debian Science Maintainers
- Architectures:
- any
- Section:
- misc
- Urgency:
- Medium Urgency
See full publishing history Publishing
| Series | Published | Component | Section | |
|---|---|---|---|---|
| Oracular | release | universe | misc | |
| Noble | release | universe | misc |
Downloads
| File | Size | SHA-256 Checksum |
|---|---|---|
| cadical_1.7.4-1.dsc | 1.9 KiB | 53fc7c06eb026104882a9fec4c7ee0e09e7b35f84199bd7bd14b5f4b05095a6c |
| cadical_1.7.4.orig.tar.gz | 632.6 KiB | 866c8a1332ff1ad5dc7ad403bdef3164420f3f947816b5c9509aad1d18ada7a1 |
| cadical_1.7.4-1.debian.tar.xz | 3.9 KiB | a0318335ad3ce5a8671cad563c85b167f6736209f7cf9becd71e914a2f26205c |
Available diffs
- diff from 1.5.3-2 to 1.7.4-1 (311.7 KiB)
No changes file available.
Binary packages built by this source
- cadical: Simplified Satisfiability Solver
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 binaries needed to use CaDiCaL as a stand-alone
tool.
- cadical-dbgsym: debug symbols for cadical
- libcadical-dev: Simplified Satisfiability Solver (development files)
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.
