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