Awesome Scala
Login
uuverifiers
/
eldarica
2.1
GitHub
The Eldarica model checker
model-checker
prolog
verification
smt-solver
smt2
horn-clauses
Scala versions:
2.13
2.12
2.11
Project
1 Version
Badges
eldarica
eldarica-cc-parser
eldarica-tplspec-parser
2.13
2.12
2.11
Show pre-release versions
Scala 2.13
Show pre-release versions
Clear all filters
1
version found for
eldarica
2.1
1 month ago
JVM:
2.13
2.12
2.11