API Doc
Awesome Scala
Login
uuverifiers
/
princess
2026-05-20
GitHub
The Princess Theorem Prover
theorem-prover
smt
logic
smt-lib
smt-solver
Scala versions:
2.13
2.12
2.11
Project
Artifacts
Versions
Badges
2.13
2.12
2.11
princess-parser
princess
princess-parser
princess-smt-parser
Found
17
versions
2026-05-20
1 month ago
BSD-3-Clause
JVM:
2.13
2.12
2.11
2025-11-17
7 months ago
BSD-3-Clause
JVM:
2.13
2.12
2.11
2025-06-25
1 year ago
BSD-3-Clause
JVM:
2.13
2.12
2.11
2025-04-01
1 year ago
BSD-3-Clause
JVM:
2.13
2.12
2.11
2024-11-08
1 year ago
BSD-3-Clause
JVM:
2.13
2.12
2.11
2024-03-22
2 years ago
BSD-3-Clause
JVM:
2.13
2.12
2.11
2024-01-12
2 years ago
BSD-3-Clause
JVM:
2.13
2.12
2.11
2023-06-19
3 years ago
BSD-3-Clause
JVM:
2.13
2.12
2.11
2023-04-07
3 years ago
BSD-3-Clause
JVM:
2.13
2.12
2.11
2022-11-03
3 years ago
BSD-3-Clause
JVM:
2.13
2.12
2.11
2022-07-01
4 years ago
BSD-3-Clause
JVM:
2.13
2.12
2.11
2022-03-16
4 years ago
BSD-3-Clause
JVM:
2.13
2.12
2.11
2021-11-15
4 years ago
BSD-3-Clause
JVM:
2.13
2.12
2.11
2021-08-12
4 years ago
BSD-3-Clause
JVM:
2.13
2.12
2.11
2021-06-28
5 years ago
BSD-3-Clause
JVM:
2.13
2.12
2.11
2021-05-10
5 years ago
BSD-3-Clause
JVM:
2.13
2.12
2.11
2021-04-09
5 years ago
BSD-3-Clause
JVM:
2.13
2.12
2.11