I risultati del modulo 2 sono disponibili qui e qui(consegna con modulo3).

La compilazione e' stata effettuata eseguendo il comando make nella vostra cartella.

I risultati sono stati ottenuti con cinque input: test_1,test_2,test_3,test_4,test_5.

Per i risultati SAT e' stato verificato che l'assegnamento verificasse effettivamente la formula.

Per i risultati UNSAT e' stato verificato:
- che l'assegnamento falsificasse la clausola di conflitto
- che watcher list fossero corrette

I dettagli sugli errori riscontrati non sono stati riportati per motivi di privacy.

Prima di chiedere ulteriori informazioni siete caldamente invitati a verificare personalmente l'output del vostro progetto con i test sopra riportati.

Chi fosse interessato a maggiori delucidazioni puo' contattare via mail il tutore del corso.