What now?

[Greg Sinclair]

Ok, I've got my program to work with all the given examples, except ex3.cnf,
because it is unsatisfiable, I've added the heuristics, and comments, what
sort of error checking is necessary? It seems there would be none because
SAT.c already checked if the data was valid.

Please help,

Greg

[Alexander Smith]

You've already done lots of error checking in lab 2. For lab 3, you may
assume that your program will be given valid input. However, be sure to
read my post "Re: Empty Clauses and Formulas" from March 3rd.

Alexander

Post by Greg Sinclair
Ok, I've got my program to work with all the given examples, except ex3.cnf,
because it is unsatisfiable, I've added the heuristics, and comments, what
sort of error checking is necessary? It seems there would be none because
SAT.c already checked if the data was valid.
Please help,
Greg