Download integraal-unifiers JAR 1.5.0 with all dependencies
Unification module for InteGraal
Files of the artifact integraal-unifiers version 1.5.0 from the group fr.lirmm.graphik.
Artifact integraal-unifiers
Group fr.lirmm.graphik
Version 1.5.0
Last update 21. June 2024
Tags: integraal module unification
Organization not specified
URL https://gitlab.inria.fr/rules/integraal/integraal-unifiers
License Apache License, Version 2.0
Dependencies amount 3
Dependencies integraal-model, integraal-util, guava,
There are maybe transitive dependencies!
Group fr.lirmm.graphik
Version 1.5.0
Last update 21. June 2024
Tags: integraal module unification
Organization not specified
URL https://gitlab.inria.fr/rules/integraal/integraal-unifiers
License Apache License, Version 2.0
Dependencies amount 3
Dependencies integraal-model, integraal-util, guava,
There are maybe transitive dependencies!
There is a newer version: 1.6.1
Show newest versionShow all versions of integraal-unifiers Show documentation
Please rate this JAR file. Is it a good library?
0 downloads
Source code of integraal-unifiers version 1.5.0
META-INF
META-INF.maven.fr.lirmm.graphik.integraal-unifiers
fr.boreal.unifier
© 2015 - 2024 Weber Informatics LLC | Privacy Policy