cvc5 vulnerabilities (Debian)

2 vulnerabilities.

• cvc5 Debian A segmentation fault in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service (DoS)... CVE-2024-37795 7.5 HighJune 17, 2024
• cvc5 Debian Improper input validation in CVC5 Solver v1.1.3 allows attackers to cause a Denial of Service ... CVE-2024-37794 7.5 HighJune 17, 2024