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

Download JAR files tagged by theories with all dependencies

Search JAR files by class name

jcunit-theories from group com.github.dakusui (version 0.1.0)

@Theories runner powered by JCUnit

Group: com.github.dakusui Artifact: jcunit-theories
Show documentation Show source 
 

0 downloads
Artifact jcunit-theories
Group com.github.dakusui
Version 0.1.0
Last update 07. November 2015
Organization not specified
URL https://github.com/jcunit-team/jcunit-theories
License Apache License, Version 2.0
Dependencies amount 1
Dependencies jcunit,
There are maybe transitive dependencies!

junit-theories from group org.junit.contrib (version 5.0-alpha-3)

JUnit theories runner

Group: org.junit.contrib Artifact: junit-theories
Show all versions Show documentation Show source 
 

46 downloads
Artifact junit-theories
Group org.junit.contrib
Version 5.0-alpha-3
Last update 12. June 2015
Organization not specified
URL https://github.com/pholser/junit-theories
License Eclipse Public License v 1.0
Dependencies amount 2
Dependencies junit, javaruntype,
There are maybe transitive dependencies!

serialize-theory from group it.unibo.tuprolog (version 1.0.1)

JSON and YAML serialization support for logic theories

Group: it.unibo.tuprolog Artifact: serialize-theory
Show all versions Show documentation Show source 
 

0 downloads
Artifact serialize-theory
Group it.unibo.tuprolog
Version 1.0.1
Last update 06. April 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!

serialize-theory-jvm from group it.unibo.tuprolog (version 1.0.1)

JSON and YAML serialization support for logic theories

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

0 downloads
Artifact serialize-theory-jvm
Group it.unibo.tuprolog
Version 1.0.1
Last update 06. April 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, theory-jvm, serialize-core-jvm, kotlin-stdlib,
There are maybe transitive dependencies!

serialize-theory-js from group it.unibo.tuprolog (version 1.0.1)

JSON and YAML serialization support for logic theories

Group: it.unibo.tuprolog Artifact: serialize-theory-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-theory-js
Group it.unibo.tuprolog
Version 1.0.1
Last update 06. April 2024
Organization not specified
URL https://github.com/tuProlog/2p-kt
License Apache-2.0
Dependencies amount 6
Dependencies kotlin-stdlib-js, kotlin-dom-api-compat, kotlin-stdlib-common, theory-js, serialize-core-js, kotlin-stdlib-js,
There are maybe transitive dependencies!

princess_2.13 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.13
Show all versions Show documentation Show source 
 

0 downloads
Artifact princess_2.13
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.13, princess-smt-parser_2.13, scala-parser-combinators_2.13, java-cup,
There are maybe transitive dependencies!

princess-smt-parser_2.13 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.13
Show all versions Show documentation Show source 
 

0 downloads
Artifact princess-smt-parser_2.13
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.13 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.13
Show all versions Show documentation Show source 
 

0 downloads
Artifact princess-parser_2.13
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.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_2.12
Show all versions Show documentation Show source 
 

0 downloads
Artifact princess_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 5
Dependencies scala-library, princess-parser_2.12, princess-smt-parser_2.12, scala-parser-combinators_2.12, java-cup,
There are maybe transitive dependencies!

princess-smt-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-smt-parser_2.12
Show all versions Show documentation Show source 
 

0 downloads
Artifact princess-smt-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!


Page 1 from 2 (items total 19)


© 2015 - 2024 Weber Informatics LLC | Privacy Policy