Download JAR files tagged by theories with all dependencies

princess-parser_2.12 from group io.github.uuverifiers (version 2024-03-22)

Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates, and various other theories.

Group: io.github.uuverifiers Artifact: princess-parser_2.12
Show all versions Show documentation Show source

0 downloads

Artifact princess-parser_2.12
Group io.github.uuverifiers
Version 2024-03-22
Last update 21. March 2024
Organization io.github.uuverifiers
URL https://philipp.ruemmer.org/princess.shtml
License BSD-3-Clause
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!

princess_2.11 from group io.github.uuverifiers (version 2024-03-22)

Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates, and various other theories.

Group: io.github.uuverifiers Artifact: princess_2.11
Show all versions Show documentation Show source

0 downloads

Artifact princess_2.11
Group io.github.uuverifiers
Version 2024-03-22
Last update 21. March 2024
Organization io.github.uuverifiers
URL https://philipp.ruemmer.org/princess.shtml
License BSD-3-Clause
Dependencies amount 5
Dependencies scala-library, princess-parser_2.11, princess-smt-parser_2.11, scala-parser-combinators_2.11, java-cup,
There are maybe transitive dependencies!

princess-smt-parser_2.11 from group io.github.uuverifiers (version 2024-03-22)

Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates, and various other theories.

Group: io.github.uuverifiers Artifact: princess-smt-parser_2.11
Show all versions Show documentation Show source

0 downloads

Artifact princess-smt-parser_2.11
Group io.github.uuverifiers
Version 2024-03-22
Last update 21. March 2024
Organization io.github.uuverifiers
URL https://philipp.ruemmer.org/princess.shtml
License BSD-3-Clause
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!

princess-parser_2.11 from group io.github.uuverifiers (version 2024-03-22)

Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates, and various other theories.

Group: io.github.uuverifiers Artifact: princess-parser_2.11
Show all versions Show documentation Show source

0 downloads

Artifact princess-parser_2.11
Group io.github.uuverifiers
Version 2024-03-22
Last update 21. March 2024
Organization io.github.uuverifiers
URL https://philipp.ruemmer.org/princess.shtml
License BSD-3-Clause
Dependencies amount 1
Dependencies scala-library,
There are maybe transitive dependencies!

mihxil-math-test from group org.meeuw (version 0.4.0)

This module is used to further test some classes in mihxil-math. Mainly to be able to use the theories from mihxil-math-theories, without introducing a circular dependency.

Group: org.meeuw Artifact: mihxil-math-test

0 downloads

Artifact mihxil-math-test
Group org.meeuw
Version 0.4.0
Last update 24. January 2021
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies mihxil-math,
There are maybe transitive dependencies!

scala-isabelle_2.12 from group de.unruh (version 0.4.3-RC1)

This library allows to control an Isabelle process (https://isabelle.in.tum.de/) from a Scala program. It allows to execute ML code inside the Isabelle process, and to operate on theories, theorems, terms, etc. See the webpage (https://dominique-unruh.github.io/scala-isabelle) for more information.

Group: de.unruh Artifact: scala-isabelle_2.12
Show all versions Show documentation Show source

0 downloads

Artifact scala-isabelle_2.12
Group de.unruh
Version 0.4.3-RC1
Last update 10. July 2024
Organization de.unruh
URL https://dominique-unruh.github.io/scala-isabelle
License MIT
Dependencies amount 11
Dependencies scala-library, java-patterns, log4s_2.12, slf4j-simple, commons-io, scalaz-core_2.12, commons-lang3, commons-text, guava, annotations, icu4j,
There are maybe transitive dependencies!

scala-isabelle_2.13 from group de.unruh (version 0.4.3-RC1)

Group: de.unruh Artifact: scala-isabelle_2.13
Show all versions Show documentation Show source

0 downloads

Artifact scala-isabelle_2.13
Group de.unruh
Version 0.4.3-RC1
Last update 10. July 2024
Organization de.unruh
URL https://dominique-unruh.github.io/scala-isabelle
License MIT
Dependencies amount 11
Dependencies scala-library, java-patterns, log4s_2.13, slf4j-simple, commons-io, scalaz-core_2.13, commons-lang3, commons-text, guava, annotations, icu4j,
There are maybe transitive dependencies!

sigma-component from group com.github.ontologyportal (version 2.12)

Sigma knowledge engineering system is an system for developing, viewing and debugging theories in first order logic. It works with Knowledge Interchange Format (KIF) and is optimized for the Suggested Upper Merged Ontology (SUMO) www.ontologyportal.org.

Group: com.github.ontologyportal Artifact: sigma-component
Show all versions Show documentation Show source

2 downloads

Artifact sigma-component
Group com.github.ontologyportal
Version 2.12
Last update 02. February 2017
Organization not specified
URL www.ontologyportal.org
License GNU General Public License
Dependencies amount 6
Dependencies antlr, guava, mail, cos, json-simple, commons-lang3,
There are maybe transitive dependencies!

sigma-component from group com.articulatesoftware (version 2.10)

Group: com.articulatesoftware Artifact: sigma-component
Show all versions Show documentation Show source

2 downloads

Artifact sigma-component
Group com.articulatesoftware
Version 2.10
Last update 04. August 2015
Organization not specified
URL www.ontologyportal.org
License GNU General Public License
Dependencies amount 8
Dependencies maven-release-plugin, maven-scm-provider-cvs-commons, antlr, guava, mail, cos, json-simple, stanford-corenlp,
There are maybe transitive dependencies!

Page 2 from 2 (items total 19)