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

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!

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

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!

eldarica_2.13 from group io.github.uuverifiers (version 2.1)

Group: io.github.uuverifiers Artifact: eldarica_2.13
Show documentation Show source

0 downloads

Artifact eldarica_2.13
Group io.github.uuverifiers
Version 2.1

eldarica-cc-parser_2.13 from group io.github.uuverifiers (version 2.1)

Group: io.github.uuverifiers Artifact: eldarica-cc-parser_2.13
Show documentation Show source

0 downloads

Artifact eldarica-cc-parser_2.13
Group io.github.uuverifiers
Version 2.1

eldarica-tplspec-parser_2.13 from group io.github.uuverifiers (version 2.1)

Group: io.github.uuverifiers Artifact: eldarica-tplspec-parser_2.13
Show documentation Show source

0 downloads

Artifact eldarica-tplspec-parser_2.13
Group io.github.uuverifiers
Version 2.1

eldarica_2.12 from group io.github.uuverifiers (version 2.1)

Group: io.github.uuverifiers Artifact: eldarica_2.12
Show documentation Show source

0 downloads

Artifact eldarica_2.12
Group io.github.uuverifiers
Version 2.1

eldarica-tplspec-parser_2.12 from group io.github.uuverifiers (version 2.1)

Group: io.github.uuverifiers Artifact: eldarica-tplspec-parser_2.12
Show documentation Show source

0 downloads

Artifact eldarica-tplspec-parser_2.12
Group io.github.uuverifiers
Version 2.1

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).

Group: io.github.uuverifiers Artifact: eldarica-cc-parser_2.12
Show documentation Show source

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!

eldarica_2.11 from group io.github.uuverifiers (version 2.1)

Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).

Group: io.github.uuverifiers Artifact: eldarica_2.11
Show documentation Show source

0 downloads

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!

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).

Group: io.github.uuverifiers Artifact: eldarica-cc-parser_2.11
Show documentation Show source

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!

Page 2 from 3 (items total 47)