Toggle navigation
Search
POM Detection
JVS
About
Home
io.github.uuverifiers
eldarica-tplspec-parser_2.12
e
eldarica-tplspec-parser_2.12
Eldarica is an SMT solver for systems of Constrained Horn Clauses (CHC).
https://github.com/uuverifiers/eldarica
BSD License 2.0
io.github.uuverifiers
Hossein Hojjat
Philipp Ruemmer
Zafer Esen
Filip Konecny
Pavle Subotic
Gambhir Sankalp
eldarica
horn
systems
clauses
constrained
solver
Aggregated version
Version
Update time
2.1
2.1
Mar 22, 2024
1 Records