Multi-line clauses

[Diego Huang]

Hi,

I was wondering if we should allow clauses that span multiple lines, or
should that be an error? Example:

---file.cnf---
p cnf 2 1
1
2 0
---EOF---

This is what the assignment says:

"The first line starts with the text string p cnf", followed by the
number
of variables and the number
of clauses. The remaining lines define each clause. As described above,
each clause is made up of a set of
literals. Each clause is terminated by the number 0, which is not a valid
literal value."

The specs don't exactly say that EACH line has to define ONE
complete clause...so I was wondering what should we do in this case?
Consider the example above as (x1 + x2) or error?

Thanks,

Diego

[Alexander Smith]

This answered in the second paragraph of my answer to question number 5 in
my post "Re: questions about errors" on Feb 5th.

Alexander

Post by Diego Huang
Hi,
I was wondering if we should allow clauses that span multiple lines, or
---file.cnf---
p cnf 2 1
1
2 0
---EOF---
"The first line starts with the text string p cnf", followed by the
number
of variables and the number
of clauses. The remaining lines define each clause. As described above,
each clause is made up of a set of
literals. Each clause is terminated by the number 0, which is not a valid
literal value."
The specs don't exactly say that EACH line has to define ONE
complete clause...so I was wondering what should we do in this case?
Consider the example above as (x1 + x2) or error?
Thanks,
Diego