Latest version: v3.2.4.20240823.1
| CVE/PVE | Vulnerability ID | Advisory | Affected versions | Severity | Severity Score |
|---|---|---|---|---|---|
| CVE-2019-7560 | 42269 |
In parser/btorsmt2.c in Boolector 3.0.0, opening a specially crafted … |
|
MEDIUM | 5.5 |