Information on source package cvc5

Available versions

ReleaseVersion
bookworm1.0.3-1
trixie1.1.2-2
forky1.1.2-3
sid1.1.2-3

Open unimportant issues

BugbookwormtrixieforkysidDescription
CVE-2024-37795vulnerablevulnerablevulnerablevulnerableA segmentation fault in CVC5 Solver v1.1.3 allows attackers to cause a ...
CVE-2024-37794vulnerablevulnerablevulnerablevulnerableImproper input validation in CVC5 Solver v1.1.3 allows attackers to ca ...

Search for package or bug name: Reporting problems