Skip to content
Every CVE
Browse
Docs
Sources
Guide
Search
/
Get
API key
Every CVE
Packages
minisat2
minisat2 vulnerabilities (Ubuntu)
1 vulnerability.
minisat2
Ubuntu
niklasso minisat DIMACS File SolverTypes.h value out-of-bounds
CVE-2026-2644
4.8
Medium
February 18, 2026
esc
Pages
All vulnerabilities
Browse
Docs
Sources
Guide
Get API key
Move
Enter
Open