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 01:48] ravi |
software [2014/02/11 14:06] mikael.mayer Added StringSolver |
||
|---|---|---|---|
| Line 5: | Line 5: | ||
| * [[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 | ||
| + | * [[stringsolver|StringSolver]] - A solver for string transformations, file renaming and semi-automated bash commands. | ||
| * [[insynth|InSynth]] - Interactive Synthesis | * [[insynth|InSynth]] - Interactive Synthesis | ||