niklasso

Products

ProductCVEsExploitedLatest
minisat1–Feb 18, 2026

Exploited and recent CVEs

  • CVE-2026-2644 Low 3.3 niklasso minisat DIMACS File SolverTypes.h value out-of-bounds 0.2%