Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Last revision Both sides next revision | ||
|
solver [2013/04/25 19:29] regis.blanc |
solver [2013/04/26 21:12] vkuncak |
||
|---|---|---|---|
| Line 23: | Line 23: | ||
| ===== Related Projects ===== | ===== Related Projects ===== | ||
| + | |||
| + | * [[https://github.com/ingoem/cassowary-scala|Constraint Solver that Includes Simplex Solver]] | ||
| * [[http://lara.epfl.ch/w/software|LARA Software]] | * [[http://lara.epfl.ch/w/software|LARA Software]] | ||
| Line 49: | Line 51: | ||
| * {{projects:weber-hol-models.pdf|Bounded Model Generation for Isabelle/HOL}} | * {{projects:weber-hol-models.pdf|Bounded Model Generation for Isabelle/HOL}} | ||
| * {{projects:ruemmerThesis.pdf|Calculi for Program Incorrectness and Arithmetic}}, Philipp Rümmer's PhD thesis | * {{projects:ruemmerThesis.pdf|Calculi for Program Incorrectness and Arithmetic}}, Philipp Rümmer's PhD thesis | ||
| - | |||