search

StephanGocht / VeriPB

Verifier for pseudo-Boolean proofs
MIT License
12 stars 1 forks source link

Bug: variables with coefficient 0 after saturation not ignored #18

Closed JoD closed 4 years ago

JoD commented 4 years ago

See test.zip