Download integraal-unifiers JAR 1.6.1 with all dependencies
Unification module for InteGraal
Files of the artifact integraal-unifiers version 1.6.1 from the group fr.lirmm.graphik.
Artifact integraal-unifiers
Group fr.lirmm.graphik
Version 1.6.1
Last update 13. November 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.6.1
Last update 13. November 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!
The newest version!
Show 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.6.1
Please wait ...