Register | Log in

cadical

Simplified Satisfiability Solver

Choose email to subscribe with

general

source: cadical (main)
version: 2.1.3-3
maintainer: Debian Science Maintainers (archive) (DMD)
uploaders: Scott Talbert [DMD]
arch: any
std-ver: 4.7.3
VCS: Git (Browse, QA)

versions [more versions can be listed by madison] [old versions available from snapshot.debian.org]

[pool directory]

oldstable: 1.5.3-2
stable: 1.7.4-1
testing: 2.1.3-2
unstable: 2.1.3-3

versioned links

1.5.3-2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
1.7.4-1: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
2.1.3-2: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]
2.1.3-3: [.dsc, use dget on this link to retrieve source package] [changelog] [copyright] [rules] [control]

binaries

cadical
libcadical-dev

action needed

A new upstream version is available: 3.0.0 high

A new upstream version 3.0.0 is available, you should consider packaging it.

Created: 2025-11-27 Last update: 2026-03-24 15:30

debian/patches: 1 patch to forward upstream low

Among the 2 debian patches available in version 2.1.3-3 of the package, we noticed the following issues:

1 patch where the metadata indicates that the patch has not yet been forwarded upstream. You should either forward the patch upstream or update the metadata to document its real status.

Created: 2025-12-15 Last update: 2026-03-23 22:00

testing migrations

excuses:
- Migration status for cadical (2.1.3-2 to 2.1.3-3): Waiting for test results or another package, or too young (no action required now - check later)
- Issues preventing migration:
- ∙ ∙ Lintian check waiting for test results - info
- ∙ ∙ Too young, only 1 of 5 days old
- Additional info (not blocking):
- ∙ ∙ Piuparts tested OK - https://piuparts.debian.org/sid/source/c/cadical.html
- ∙ ∙ Reproduced on amd64
- ∙ ∙ Reproduced on arm64
- ∙ ∙ Reproduced on armhf
- ∙ ∙ Reproduced on i386
- ∙ ∙ Reproducibility check waiting for results on ppc64el
- Not considered

news

[2026-03-23] Accepted cadical 2.1.3-3 (source) into unstable (Alexandre Detiste)
[2025-12-20] cadical 2.1.3-2 MIGRATED to testing (Debian testing watch)
[2025-12-15] Accepted cadical 2.1.3-2 (source) into unstable (Scott Talbert)
[2025-12-01] Accepted cadical 2.1.3-1 (source) into unstable (Gábor Németh) (signed by: Scott Talbert)
[2024-02-16] cadical 1.7.4-1 MIGRATED to testing (Debian testing watch)
[2024-02-11] Accepted cadical 1.7.4-1 (source) into unstable (Scott Talbert)
[2022-11-20] cadical 1.5.3-2 MIGRATED to testing (Debian testing watch)
[2022-11-15] Accepted cadical 1.5.3-2 (source) into unstable (Scott Talbert)
[2022-11-08] cadical 1.5.3-1 MIGRATED to testing (Debian testing watch)
[2022-11-02] Accepted cadical 1.5.3-1 (source amd64) into unstable (Debian FTP Masters) (signed by: Scott Talbert)

bugs [bug history graph]

all: 0

links

homepage
buildd: logs, reproducibility, cross
popcon
browse source code
edit tags
other distros
debian patches

ubuntu

[Information about Ubuntu for Debian Developers]

version: 2.1.3-2

Debian Package Tracker — Copyright 2013-2025 The Distro Tracker Developers

Report problems to the tracker.debian.org pseudo-package in the Debian BTS.

Documentation — Bugs — Git Repository — Contributing