Information on source package minisat2

Available versions

ReleaseVersion
bookworm1:2.2.1-5
trixie1:2.2.1-8
forky1:2.2.1-8
sid1:2.2.1-8

Open unimportant issues

BugbookwormtrixieforkysidDescription
CVE-2026-2644vulnerablevulnerablevulnerablevulnerableA weakness has been identified in niklasso minisat up to 2.2.0. This i ...

Search for package or bug name: Reporting problems