Download integraal-unifiers JAR 1.2.0 with all dependencies
Unification module for InteGraal
Files of the artifact integraal-unifiers version 1.2.0 from the group fr.lirmm.graphik.
Artifact integraal-unifiers
Group fr.lirmm.graphik
Version 1.2.0
Last update 15. April 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.2.0
Last update 15. April 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.5.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.2.0
Please wait ...