Cleaning up Proof Format - Githubissues

StephanGocht / VeriPB

Verifier for pseudo-Boolean proofs

MIT License

12 stars 1 forks source link

Cleaning up Proof Format #12

Open StephanGocht opened 4 years ago

StephanGocht commented 4 years ago

[ ] trailing 0 is used inconsistently
[ ] implication vs implication and add rule