Home » org.key-project » key.ncore

Key Ncore

Generic data strutures for terms and formulas without dependencies to a specific target programming language
LicenseGPL 2.0
Ranking
#80581in MvnRepository
HomePage https://key-project.org/ 🔍 Inspect URL
Links

Latest Versions

2 versions →
VersionVulnerabilitiesUsagesDate
3.0.x
3.0.0
3
Jul 24, 2026
2.12.x
2.12.3
1
Nov 07, 2024
2 versions →