[Tarea 4] Formato de test

[Wh4rp]

En el enunciado dice que cada linea que representa una clausura termina con un 0, pero en los test que se subieron están sin ese 0.

[jjaguillon]

Yo asumí lo del enunciado, ya que tiene sentido con los archivos en formato DIMACS, y arreglé a mano los test.

[juanreutter]

Uta, sabía que armando tests a mano iba a pasar esto :S Ideal si usan el formato del enunciado, arreglando los tests

[juanreutter]

(subi un archivo con los tests corregidos con los ceros