Closed serkanozkanssc closed 3 months ago
CPE under adp container is cpe:2.3:a:cvc5:solver:1.1.3:*:*:*:*:*:*:* but they don't have a product named Solver, it's just a class name. Product name should be cvc5.
cpe:2.3:a:cvc5:solver:1.1.3:*:*:*:*:*:*:*
@serkanozkanssc thank you for the report! The data has been fixed upstream and should be updated here within an hour.
CPE under adp container is
cpe:2.3:a:cvc5:solver:1.1.3:*:*:*:*:*:*:*
but they don't have a product named Solver, it's just a class name. Product name should be cvc5.