Awesome Scala
Login
uuverifiers
/
princess
2024-03-22
GitHub
The Princess Theorem Prover
smt
theorem-prover
logic
smt-lib
smt-solver
Scala versions:
2.13
2.12
2.11
Project
Artifacts
12 Versions
Badges
2.13
2.12
2.11
princess
princess
princess-parser
princess-smt-parser
Found
12
versions
2024-03-22
6 months ago
BSD-3-Clause
JVM:
2.13
2.12
2.11
2024-01-12
8 months ago
BSD-3-Clause
JVM:
2.13
2.12
2.11
2023-06-19
1 year ago
BSD-3-Clause
JVM:
2.13
2.12
2.11
2023-04-07
1 year ago
BSD-3-Clause
JVM:
2.13
2.12
2.11
2022-11-03
1 year 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
2 years ago
BSD-3-Clause
JVM:
2.13
2.12
2.11
2021-11-15
2 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
3 years ago
BSD-3-Clause
JVM:
2.13
2.12
2.11
2021-05-10
3 years ago
BSD-3-Clause
JVM:
2.13
2.12
2.11
2021-04-09
3 years ago
BSD-3-Clause
JVM:
2.13
2.12
2.11