princess_2.13

io.github.uuverifiers

princess_2.13 is a Java jar artifact published under the io.github.uuverifiers group on Maven Central. 17 versions are indexed here. It is used by 116 other indexed artifacts. Select a version below for Maven, Gradle and SBT snippets plus CVE data.

Recommended: 2026-05-20 17 versions jarChecking...
Analyze DependenciesCompare Artifact

Add to your project2025-06-25

<dependency>
    <groupId>io.github.uuverifiers</groupId>
    <artifactId>princess_2.13</artifactId>
    <version>2025-06-25</version>
</dependency>

Version Details — 2025-06-25

Packaging
jar
Direct Deps
5
Total Deps
5
Published
Unknown
License
BSD-3-Clause

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

Checking security advisories...