Degree becomes negative after multiplication and addition.

StephanGocht / VeriPB

Verifier for pseudo-Boolean proofs

MIT License

12 stars 1 forks source link

Closed JoD closed 4 years ago

JoD commented 4 years ago

See line 3958 in tracelog.txt, which was obtained by tracelog.txt by running veripb tmp.opb proof.log --trace on attached files. files.zip

StephanGocht commented 4 years ago

you are reaching overflows which is currently undefined behavior.

JoD commented 4 years ago

The addition of the option --arbitraryPrecision fixes this issue, and suffices for my current needs.