Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Comments not properly ignored in the INPUT file #39

Open
sambuss opened this issue May 6, 2024 · 0 comments
Open

Comments not properly ignored in the INPUT file #39

sambuss opened this issue May 6, 2024 · 0 comments

Comments

@sambuss
Copy link

sambuss commented May 6, 2024

I have a DIMACS format file that starts

c p cnf 3560 69469
c clauses found (binary, tautologies, nonbinary): 69469 = 668 + 0 + 68801
p cnf 648 668

The initial comment line, however, is treated as the "p cnf 3560 69469" line, leading DRAT-trim to ignore the actual "p cnf" line two lines later, and to complain about not enough clauses being present.

Workaround: Strip out all comment lines from the INPUT file before feeding it to DRAT-trim.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant