search

StephanGocht / VeriPB

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

Allow negative IDs for relative reference. #26

Closed StephanGocht closed 3 years ago

StephanGocht commented 3 years ago

Should be working already.