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:exercises_04 [2008/03/12 15:05]
vkuncak
sav08:exercises_04 [2008/03/13 19:33] (current)
vkuncak
Line 1: Line 1:
 ====== Exercises 04 ====== ====== Exercises 04 ======
 +
 +Homework analysis.
  
 Example resolution proof tree. Example resolution proof tree.
Line 8: Line 10:
  
 Running DPLL on the example. Running DPLL on the example.
- 
-Playing with Alloy. 
  
 
sav08/exercises_04.txt · Last modified: 2008/03/13 19:33 by vkuncak
 
© EPFL 2018 - Legal notice