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