Awesome Scala
Login
uuverifiers
/
princess
2024-03-22
GitHub
The Princess Theorem Prover
smt-lib
theorem-prover
smt
smt-solver
logic
Scala versions:
2.13
2.12
2.11
Project
12 Versions
Badges
princess
princess-parser
princess-smt-parser
2.13
2.12
2.11
Show pre-release versions
Scala 2.12
Show pre-release versions
Clear all filters
12
versions found for
princess
2024-03-22
1 month ago
BSD-3-Clause
JVM:
2.13
2.12
2.11
2024-01-12
3 months ago
BSD-3-Clause
JVM:
2.13
2.12
2.11
2023-06-19
10 months 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
1 year 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
2 years ago
BSD-3-Clause
JVM:
2.13
2.12
2.11
2021-06-28
2 years ago
BSD-3-Clause
JVM:
2.13
2.12
2.11
2021-05-10
2 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