OUTPUT? also some other questions

[Greg Sinclair]

I meant to say, I was NOT entirely sure about which .VEC file corresponds to
which .CNF file.

-Greg

Hi,
Are we to include any output for this program, other than error message?

All

my program does is output SAT, UNSAT or UNDETERMINED.
There were a number of vector files included in the available files. Ex 2,
3, 4 etc are listed as being satisfiable, unsatisfiable, and

undertermined,

but for which .cnf file? I was entirely clear on that.
Thanks Alexander,
Greg

[Alexander Smith]

Hi Greg,

You are correct: except for error messages, the code you write should not
produce any output. The main program (in main.c) will print SAT, UNSAT, or
UNDETERMINED.

As for the .vec and .cnf files, just match up the numbers: ex1.vec goes
with ex1.cnf, ex2.vec goes with ex2.cnf, etc.

Alexander

Hi,
Are we to include any output for this program, other than error message? All
my program does is output SAT, UNSAT or UNDETERMINED.
There were a number of vector files included in the available files. Ex 2,
3, 4 etc are listed as being satisfiable, unsatisfiable, and undertermined,
but for which .cnf file? I was entirely clear on that.
Thanks Alexander,
Greg