Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
eldarica [2013/07/14 21:54] vkuncak |
eldarica [2013/11/22 15:43] hossein [Related Links] |
||
---|---|---|---|
Line 32: | Line 32: | ||
* Some {{horn-benchmarks.tar.gz|Horn}} clauses. | * Some {{horn-benchmarks.tar.gz|Horn}} clauses. | ||
* [[horn-nonrec-benchmarks|Non-recursive Horn benchmarks.]] | * [[horn-nonrec-benchmarks|Non-recursive Horn benchmarks.]] | ||
+ | * [[horn-parametric-benchmarks|Parametric Time Automata Horn benchmarks.]] | ||
* [[https://svn.sosy-lab.org/software/sv-benchmarks/trunk/clauses/LIA/Eldarica/|Horn clauses]] in SMT-LIB format. | * [[https://svn.sosy-lab.org/software/sv-benchmarks/trunk/clauses/LIA/Eldarica/|Horn clauses]] in SMT-LIB format. | ||
- | |||
==== Running ==== | ==== Running ==== | ||
\\ | \\ |