Discussion:
too many clauses?
(too old to reply)
Greg Sinclair
2004-02-08 00:06:04 UTC
Permalink
This question has been asked before, but in my program, I only input numVars
amount of clauses. If the CNF file still had clauses after numVars, they
wouldn't get read. Should this return an error?

Thanks Alexander.

-Greg
Sherman
2004-02-08 05:29:33 UTC
Permalink
The remaining clause(s) would be ignored as if they were not present in the
file. And it should be fine... im pretty sure.
Post by Greg Sinclair
This question has been asked before, but in my program, I only input numVars
amount of clauses. If the CNF file still had clauses after numVars, they
wouldn't get read. Should this return an error?
Thanks Alexander.
-Greg
Alexander Smith
2004-02-08 18:25:28 UTC
Permalink
I have answered this question a couple of times before - most recently on
Feb 6th in the post "Re: questions about errors". (Also in at least one
other before that.)

Alexander
Post by Sherman
The remaining clause(s) would be ignored as if they were not present in the
file. And it should be fine... im pretty sure.
Post by Greg Sinclair
This question has been asked before, but in my program, I only input
numVars
Post by Greg Sinclair
amount of clauses. If the CNF file still had clauses after numVars, they
wouldn't get read. Should this return an error?
Thanks Alexander.
-Greg
Loading...