TI-2026-02257 CVE-2026-2644 · GHSA-qfwf-756h-2p4g
niklasso minisat DIMACS File SolverTypes.h value out-of-bounds
Priority MEDIUM 55
A weakness has been identified in niklasso minisat up to 2.2.0.
No Minisat vulnerabilities are listed in CISA KEV.
1 record
A weakness has been identified in niklasso minisat up to 2.2.0.