API Doc
Awesome Scala
Login
uuverifiers
/
princess
2025-04-01
GitHub
The Princess Theorem Prover
logic
theorem-prover
smt-lib
smt
smt-solver
Scala versions:
2.13
2.12
2.11
Project
Artifacts
Versions
Badges
2.13
2.12
2.11
Found
3
artifacts
princess
2025-04-01
2 months ago
BSD-3-Clause
JVM:
2.13
2.12
2.11
princess-parser
2025-04-01
2 months ago
BSD-3-Clause
JVM:
2.13
2.12
2.11
princess-smt-parser
2025-04-01
2 months ago
BSD-3-Clause
JVM:
2.13
2.12
2.11