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
org.sosy-lab
javasmt-solver-cvc5
2026-04-08-ca862b4
javasmt-solver-cvc5 2026-04-08-ca862b4
Latest
org.sosy-lab
Published
Apr 11, 2026
•
Policy
compliance
maven Registry
Developer Trust Score
Recommended Version:
x.y.z
Recommended upgrade that meets your policy.
Compare Versions
Overview
Overview
Versions
13
Versions
13
Vulnerabilities
0
Vulnerabilities
0
Dependencies
0
Dependencies
0
Prereleases
Severity
Critical
(0)
High
(0)
Medium
(0)
Low
(0)
None
(13)
Trust Score
0.0
100.0
Malware
Published
Filter
Version
Published
Trust Score
Vulnerabilities
Highest CVSS
License
Meets Policy
2026-04-08-ca862b4
Latest
Apr 11, 2026
N/A
0
0.0
None
Apache-2.0
Apache-2.0-with-LLVM-exception
+6
2026-02-26-d22638a
Mar 31, 2026
N/A
0
0.0
None
Apache-2.0
Apache-2.0-with-LLVM-exception
+6
2026-01-21-f621457
Mar 31, 2026
N/A
0
0.0
None
Apache-2.0
Apache-2.0-with-LLVM-exception
+6
2025-11-13-ef82847
Mar 31, 2026
N/A
0
0.0
None
BSD-2-Clause
BSD-3-Clause
+4
2025-07-29-6dacfa5
Mar 31, 2026
N/A
0
0.0
None
BSD-2-Clause
BSD-3-Clause
+4
2025-07-24-bc009af
Mar 31, 2026
N/A
0
0.0
None
BSD-2-Clause
BSD-3-Clause
+4
2025-07-21-6a4791b
Mar 31, 2026
N/A
0
0.0
None
BSD-2-Clause
BSD-3-Clause
+4
2025-05-16-8aeaa19
Mar 31, 2026
N/A
0
0.0
None
BSD-2-Clause
BSD-3-Clause
+4
2025-04-03-ee76c36
Apr 12, 2025
N/A
0
0.0
None
BSD-3-Clause
1.2.1-g8594a8e4dc
Mar 28, 2025
N/A
0
0.0
None
BSD-3-Clause
1.0.5-g4cb2ab9eb
Apr 14, 2023
N/A
0
0.0
None
BSD-3-Clause
1.0.2-g40f1137e5
Dec 4, 2022
N/A
0
0.0
None
BSD-3-Clause
1.0.1-g8c2b8db17
Oct 4, 2022
N/A
0
0.0
None
BSD-3-Clause
org.sosy-lab/javasmt-solver-cvc5 2026-04-0… | Sonatype Guide
