All Downloads are FREE. Search and download functionalities are using the official Maven repository.
Search JAR files by class name

Download princess-smt-parser_2.11 JAR 2024-11-08 with all dependencies


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

Files of the artifact princess-smt-parser_2.11 version 2024-11-08 from the group io.github.uuverifiers.

Artifact princess-smt-parser_2.11
Group io.github.uuverifiers
Version 2024-11-08
Last update 08. November 2024
Tags: theorem predicates other uninterpreted various theories arithmetic princess presburger prover solver
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!
The newest version!
Show more of this group  Show more artifacts with this name
Show all versions of princess-smt-parser_2.11 Show documentation

Please rate this JAR file. Is it a good library?

0 downloads

Source code of princess-smt-parser_2.11 version 2024-11-08





© 2015 - 2024 Weber Informatics LLC | Privacy Policy