Download JAR files tagged by clauses with all dependencies
serialize-core-jvm from group it.unibo.tuprolog (version 1.0.4)
JSON and YAML serialization support for logic terms and clauses
Group: it.unibo.tuprolog Artifact: serialize-core-jvm
Show all versions Show documentation Show source
Show all versions Show documentation Show source
0 downloads
Artifact serialize-core-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!
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!
serialize-core-js from group it.unibo.tuprolog (version 1.0.4)
Multi-platform logic programming ecosystem supporting JVM, JavaScript, and Android
Group: it.unibo.tuprolog Artifact: serialize-core-js
Show all versions Show documentation
Show all versions Show documentation
There is no JAR file uploaded. A download is not possible! Please choose another version.
0 downloads
Artifact serialize-core-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 2
Dependencies kotlin-stdlib-common, core-js,
There are maybe transitive dependencies!
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 2
Dependencies kotlin-stdlib-common, core-js,
There are maybe transitive dependencies!
eldarica_2.13 from group io.github.uuverifiers (version 2.1)
eldarica-cc-parser_2.13 from group io.github.uuverifiers (version 2.1)
0 downloads
eldarica-tplspec-parser_2.13 from group io.github.uuverifiers (version 2.1)
0 downloads
eldarica_2.12 from group io.github.uuverifiers (version 2.1)
eldarica-tplspec-parser_2.12 from group io.github.uuverifiers (version 2.1)
0 downloads
eldarica-cc-parser_2.12 from group io.github.uuverifiers (version 2.1)
Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).
0 downloads
Artifact eldarica-cc-parser_2.12
Group io.github.uuverifiers
Version 2.1
Last update 22. March 2024
Organization io.github.uuverifiers
URL https://github.com/uuverifiers/eldarica
License BSD License 2.0
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!
Group io.github.uuverifiers
Version 2.1
Last update 22. March 2024
Organization io.github.uuverifiers
URL https://github.com/uuverifiers/eldarica
License BSD License 2.0
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!
eldarica_2.11 from group io.github.uuverifiers (version 2.1)
Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).
Artifact eldarica_2.11
Group io.github.uuverifiers
Version 2.1
Last update 22. March 2024
Organization io.github.uuverifiers
URL https://github.com/uuverifiers/eldarica
License BSD License 2.0
Dependencies amount 9
Dependencies scala-library, eldarica-cc-parser_2.11, eldarica-tplspec-parser_2.11, scala-parser-combinators_2.11, java-cup, antlr, scala-xml_2.11, scalactic_2.11, princess_2.11,
There are maybe transitive dependencies!
Group io.github.uuverifiers
Version 2.1
Last update 22. March 2024
Organization io.github.uuverifiers
URL https://github.com/uuverifiers/eldarica
License BSD License 2.0
Dependencies amount 9
Dependencies scala-library, eldarica-cc-parser_2.11, eldarica-tplspec-parser_2.11, scala-parser-combinators_2.11, java-cup, antlr, scala-xml_2.11, scalactic_2.11, princess_2.11,
There are maybe transitive dependencies!
eldarica-cc-parser_2.11 from group io.github.uuverifiers (version 2.1)
Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).
0 downloads
Artifact eldarica-cc-parser_2.11
Group io.github.uuverifiers
Version 2.1
Last update 22. March 2024
Organization io.github.uuverifiers
URL https://github.com/uuverifiers/eldarica
License BSD License 2.0
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!
Group io.github.uuverifiers
Version 2.1
Last update 22. March 2024
Organization io.github.uuverifiers
URL https://github.com/uuverifiers/eldarica
License BSD License 2.0
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!
Page 2 from 3 (items total 47)
© 2015 - 2024 Weber Informatics LLC | Privacy Policy