ultimate-pa/smtinterpol ultimate-pa/smtinterpol

  • Stars
    star
    59
  • Rank 508,136 (Top 11 %)
  • Language
    Java
  • License
    GNU Lesser Genera...
  • Created almost 11 years ago
  • Updated 3 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ultimate-pa/smtinterpol
github

ultimate-pa

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

SMTInterpol interpolating SMT solver

More Repositories

1

ultimate

The Ultimate program analysis framework.
Java
192
star
2

javacup

Java Cup Parser Generator
Java
22
star
3

hanfor

Hanfor helps analyzing and formalizing requirements.
JavaScript
9
star
4

ultimate-benchmarks

C
2
star
5

joogie

Joogie version used in the termination competition 2015.
Java
1
star