minizinc vulnerabilities (Debian)

1 vulnerability.

• minizinc Debian An issue in MiniZinc before 2.8.0 allows a NULL pointer dereference via ti_expr in a crafted .mzn... CVE-2023-46046 Fix availableDisputed 5.5 MediumMarch 27, 2024