Home » io.github.uuverifiers » princess » Used By

Princess

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

Artifacts using Princess (4)
Sort by:Popular▼

1.Java SMT11 usages

org.sosy-lab » java-smt Apache

Unified acccess layer to SMT solvers
Last Release on Apr 2, 2026

2.Analysis4 usages

org.polystat.odin » analysis MIT

Odin (object dependency inspector) — static analyzer for EO source code that detects OOP-related bugs.
Last Release on Jul 1, 2022

3.Eldarica2 usages

io.github.uuverifiers » eldarica BSD

Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).
Last Release on May 21, 2026

4.Ostrich1 usages

io.github.uuverifiers » ostrich BSD

OSTRICH is an SMT solver for string constraints.
Last Release on Jul 30, 2026
  • Prev
  • 1
  • Next