All Downloads are FREE. Search and download functionalities are using the official Maven repository.

Download JAR files tagged by unification with all dependencies

Search JAR files by class name

integraal-unifiers from group fr.lirmm.graphik (version 1.6.1)

Unification module for InteGraal

Group: fr.lirmm.graphik Artifact: integraal-unifiers
Show all versions Show documentation Show source 
 

0 downloads
Artifact integraal-unifiers
Group fr.lirmm.graphik
Version 1.6.1
Last update 13. November 2024
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!

core.unify from group org.clojure (version 0.7.0)

A unification library for Clojure

Group: org.clojure Artifact: core.unify
Show all versions Show source 
 

0 downloads
Artifact core.unify
Group org.clojure
Version 0.7.0
Last update 06. November 2024
Organization not specified
URL Not specified
License Eclipse Public License 1.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

unify from group it.unibo.tuprolog (version 1.0.4)

Logic unification for logic terms and clauses

Group: it.unibo.tuprolog Artifact: unify
Show all versions Show documentation Show source 
 

0 downloads
Artifact unify
Group it.unibo.tuprolog
Version 1.0.4
Last update 26. May 2024
Organization not specified
URL https://github.com/tuProlog/2p-kt
License Apache-2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

unify-jvm from group it.unibo.tuprolog (version 1.0.4)

Logic unification for logic terms and clauses

Group: it.unibo.tuprolog Artifact: unify-jvm
Show all versions Show documentation Show source 
 

0 downloads
Artifact unify-jvm
Group it.unibo.tuprolog
Version 1.0.4
Last update 26. May 2024
Organization not specified
URL https://github.com/tuProlog/2p-kt
License Apache-2.0
Dependencies amount 4
Dependencies kotlin-stdlib-jdk8, kotlin-stdlib-common, core-jvm, kotlin-stdlib,
There are maybe transitive dependencies!

unify-js from group it.unibo.tuprolog (version 1.0.4)

Logic unification for logic terms and clauses

Group: it.unibo.tuprolog Artifact: unify-js
Show all versions Show documentation 
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact unify-js
Group it.unibo.tuprolog
Version 1.0.4
Last update 26. May 2024
Organization not specified
URL https://github.com/tuProlog/2p-kt
License Apache-2.0
Dependencies amount 5
Dependencies kotlin-stdlib-js, kotlin-dom-api-compat, kotlin-stdlib-common, core-js, kotlin-stdlib,
There are maybe transitive dependencies!

colesico-http from group net.colesico.framework (version 5.3.0)

Colesico Framework HTTP API unification

Group: net.colesico.framework Artifact: colesico-http
Show all versions Show documentation Show source 
 

0 downloads
Artifact colesico-http
Group net.colesico.framework
Version 5.3.0
Last update 27. November 2023
Organization not specified
URL https://github.com/colesico/colesico-framework
License not specified
Dependencies amount 1
Dependencies colesico-ioc,
There are maybe transitive dependencies!

unify-metadata from group it.unibo.tuprolog (version 0.17.4)

Logic unification for logic terms and clauses

Group: it.unibo.tuprolog Artifact: unify-metadata
Show all versions Show documentation Show source 
 

0 downloads
Artifact unify-metadata
Group it.unibo.tuprolog
Version 0.17.4
Last update 18. May 2021
Organization not specified
URL https://github.com/tuProlog/2p-kt
License Apache-2.0
Dependencies amount 2
Dependencies kotlin-stdlib-common, core-metadata,
There are maybe transitive dependencies!

colesico-telehttp from group net.colesico.framework (version 5.3.0)

Colesico Framework TeleAPI for Http unification

Group: net.colesico.framework Artifact: colesico-telehttp
Show all versions Show documentation Show source 
 

0 downloads
Artifact colesico-telehttp
Group net.colesico.framework
Version 5.3.0
Last update 27. November 2023
Organization not specified
URL https://github.com/colesico/colesico-framework
License not specified
Dependencies amount 3
Dependencies colesico-router, colesico-translation, colesico-security,
There are maybe transitive dependencies!

dsl-unify from group it.unibo.tuprolog (version 1.0.4)

Kotlin DSL for logic programming, enriched with unification facilities

Group: it.unibo.tuprolog Artifact: dsl-unify
Show all versions Show documentation Show source 
 

0 downloads
Artifact dsl-unify
Group it.unibo.tuprolog
Version 1.0.4
Last update 26. May 2024
Organization not specified
URL https://github.com/tuProlog/2p-kt
License Apache-2.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

dsl-unify-jvm from group it.unibo.tuprolog (version 1.0.4)

Kotlin DSL for logic programming, enriched with unification facilities

Group: it.unibo.tuprolog Artifact: dsl-unify-jvm
Show all versions Show documentation Show source 
 

0 downloads
Artifact dsl-unify-jvm
Group it.unibo.tuprolog
Version 1.0.4
Last update 26. May 2024
Organization not specified
URL https://github.com/tuProlog/2p-kt
License Apache-2.0
Dependencies amount 5
Dependencies kotlin-stdlib-jdk8, kotlin-stdlib-common, dsl-core-jvm, unify-jvm, kotlin-stdlib,
There are maybe transitive dependencies!



Page 1 from 3 (items total 24)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy