LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
sav08:homework05 [2008/03/25 14:17]
piskac
sav08:homework05 [2008/03/25 14:24]
piskac
Line 1: Line 1:
 ====== Homework 05 - due 2 April 2008 (after break) ====== ====== Homework 05 - due 2 April 2008 (after break) ======
 +
 +
  
  
Line 21: Line 23:
 Test examples shown in the class: Test examples shown in the class:
  
-[[dpll:​test.cnf]]+[[dpll:test.cnf]] [[dpll:​test2.cnf]] [[dpll:​test3.cnf]]
  
-[[http://​icwww.epfl.ch/​~piskac/​test.cnf|test.cnf]]. 
-[[http://​icwww.epfl.ch/​~piskac/​test2.cnf|test2.cnf]]. 
-[[http://​icwww.epfl.ch/​~piskac/​test3.cnf|test3.cnf]]. 
  
 ===== Problem 2 ===== ===== Problem 2 =====