Skip to main content
Components
Vulnerabilities
Pricing
MCP
API
Docs
Sign up
Login
Find vulnerabilities. Fix fast with AI.
Search components by package, version, or CVE to get started.
Get full component data and automated fixes with Sonatype Guide.
Sign up for free
maven
io.github.cvc5
cvc5
1.3.4
cvc5 1.3.4
Latest
io.github.cvc5
Published
May 7, 2026
•
Policy
compliance
maven Registry
Developer Trust Score
Recommended Version:
x.y.z
Latest version with 0 known vulnerabilities that meets your policy.
Compare Versions
Overview
Overview
Versions
4
Versions
4
Vulnerabilities
0
Vulnerabilities
0
Dependencies
0
Dependencies
0
Prereleases
Severity
Critical
(0)
High
(0)
Medium
(0)
Low
(0)
None
(4)
Trust Score
0.0
100.0
Malware
Published
Filter
Version
Published
Trust Score
Vulnerabilities
Highest CVSS
License
Meets Policy
1.3.4
Latest
May 7, 2026
N/A
0
0.0
None
BSD-3-Clause
Non-Standard
1.3.3
Feb 26, 2026
N/A
0
0.0
None
BSD-3-Clause
Non-Standard
+1
1.3.2-1
Dec 15, 2025
N/A
0
0.0
None
BSD-3-Clause
Non-Standard
1.3.2
Dec 12, 2025
N/A
0
0.0
None
BSD-3-Clause
Non-Standard
io.github.cvc5/cvc5 1.3.4 | Versions | Sonatype Guide
