Lab for Automated Reasoning and Analysis LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

solver [2013/04/26 21:12]
vkuncak
solver [2013/04/26 21:12] (current)
vkuncak
Line 24: Line 24:
 ===== Related Projects ===== ===== Related Projects =====
  
-  * [[https://​github.com/​ingoem/​cassowary-scala|Constraint Solver that Includes Simplex Solver]]+  * [[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]] ​   ​
 
solver.txt · Last modified: 2013/04/26 21:12 by vkuncak