API Doc
Awesome Scala
Login
3 results
Sorting
Stars
Created
Commit Activity
Contributors
Dependent
Contributing Search
Filters
Languages
Scala 2.13 (3)
Scala 2.12 (3)
Scala 2.11 (3)
Platforms
JVM (3)
Topics
horn-clauses (1)
logic (1)
model-checker (1)
prolog (1)
regular-expressions (1)
smt (1)
smt-lib (1)
smt-solver (3)
smt2 (1)
strings (1)
theorem-prover (2)
theorem-proving (1)
verification (1)
uuverifiers/eldarica
2.1
The Eldarica model checker
Scala versions:
2.13
2.12
2.11
prolog
verification
model-checker
horn-clauses
smt2
smt-solver
80
5
uuverifiers/ostrich
1.4.1
An SMT Solver for string constraints
Scala versions:
2.13
2.12
2.11
theorem-proving
theorem-prover
strings
regular-expressions
smt-solver
34
8
uuverifiers/princess
2024-11-08
The Princess Theorem Prover
Scala versions:
2.13
2.12
2.11
smt-lib
theorem-prover
logic
smt-solver
smt
22
5
1
(current)
