LARA

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
sav08:homework05 [2008/03/25 14:22]
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 24: Line 25:
 [[dpll:​test.cnf]] [[dpll:​test2.cnf]] [[dpll:​test3.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 =====