search

StephanGocht / VeriPB

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

Internal error when using wrong formula file #14

Open JoD opened 4 years ago

JoD commented 4 years ago

See attachments. files.zip