Boolector Project vulnerabilities

1 CVE affecting Boolector Project products, 0 known to be exploited (CISA KEV), with EPSS scores. Most affected: Boolector.

• Boolector: 1 CVE