Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
software [2014/02/11 14:06] mikael.mayer Added StringSolver |
software [2015/05/24 17:23] vkuncak |
||
|---|---|---|---|
| Line 3: | Line 3: | ||
| The following software tools are currently available, sorted approximately according to how recently they have been updated: | The following software tools are currently available, sorted approximately according to how recently they have been updated: | ||
| * **[[leon|Leon]] - Verifier and Synthesizer for Scala** | * **[[leon|Leon]] - Verifier and Synthesizer for Scala** | ||
| + | * [[cvc4|CVC4]] - CVC4 SMT Solver | ||
| * [[rbound|Orb]] - Resource Bound Inference for Functional Programs | * [[rbound|Orb]] - Resource Bound Inference for Functional Programs | ||
| * [[rosa|Rosa]] - Compiler for Reals | * [[rosa|Rosa]] - Compiler for Reals | ||