Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous 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 in Scala 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 | ||
- |