Download JAR files tagged by strutures with all dependencies
key.ncore from group org.key-project (version 2.12.3)
Generic data strutures for terms and formulas without dependencies to a specific target programming language
Artifact key.ncore
Group org.key-project
Version 2.12.3
Last update 06. November 2024
Organization not specified
URL https://key-project.org/
License GNU General Public License (GPL), Version 2
Dependencies amount 1
Dependencies key.util,
There are maybe transitive dependencies!
Group org.key-project
Version 2.12.3
Last update 06. November 2024
Organization not specified
URL https://key-project.org/
License GNU General Public License (GPL), Version 2
Dependencies amount 1
Dependencies key.util,
There are maybe transitive dependencies!
Page 1 from 1 (items total 1)
© 2015 - 2025 Weber Informatics LLC | Privacy Policy