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
Found
3
artifacts
princess
2024-03-22
6 months ago
BSD-3-Clause
JVM:
2.13
2.12
2.11
princess-parser
2024-03-22
6 months ago
BSD-3-Clause
JVM:
2.13
2.12
2.11
princess-smt-parser
2024-03-22
6 months ago
BSD-3-Clause
JVM:
2.13
2.12
2.11