Download princess_2.11 JAR file with all dependencies
princess_2.11 from group io.github.uuverifiers (version 2021-11-15)
Princess is a theorem prover (aka SMT Solver) for Presburger arithmetic, uninterpreted predicates, and various other theories.
Artifact princess_2.11
Group io.github.uuverifiers
Version 2021-11-15
Last update 15. November 2021
Tags: prover princess solver arithmetic predicates uninterpreted other presburger theorem theories various
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!
Group io.github.uuverifiers
Version 2021-11-15
Last update 15. November 2021
Tags: prover princess solver arithmetic predicates uninterpreted other presburger theorem theories various
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!
Page 1 from 1 (items total 1)