Lab for Automated Reasoning and Analysis LARA

Differences

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

Link to this comparison view

sav08:lecture08 [2008/03/13 19:23]
vkuncak
sav08:lecture08 [2008/03/13 19:23] (current)
vkuncak
Line 29: Line 29:
   * [[http://​www.princeton.edu/​~chaff/​zchaff.html|zChaff]]   * [[http://​www.princeton.edu/​~chaff/​zchaff.html|zChaff]]
   * [[http://​reasoning.cs.ucla.edu/​rsat/​]]   * [[http://​reasoning.cs.ucla.edu/​rsat/​]]
 +  * [[http://​fmv.jku.at/​picosat/​|PicoSAT]]
  
   * [[http://​www.decision-procedures.org/​]]   * [[http://​www.decision-procedures.org/​]]
 
sav08/lecture08.txt · Last modified: 2008/03/13 19:23 by vkuncak
 
© EPFL 2018 - Legal notice