Awesome Scala
Login
uuverifiers
/
eldarica
2.1
GitHub
The Eldarica model checker
horn-clauses
smt-solver
model-checker
verification
smt2
prolog
Scala versions:
2.13
2.12
2.11
Project
Artifacts
1 Version
Badges
2.13
2.12
2.11
Found
3
artifacts
eldarica
2.1
6 months ago
JVM:
2.13
2.12
2.11
eldarica-cc-parser
2.1
6 months ago
JVM:
2.13
2.12
2.11
eldarica-tplspec-parser
2.1
6 months ago
JVM:
2.13
2.12
2.11