search

StephanGocht / VeriPB

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

rough time estimate to completion #20

Closed JoD closed 4 years ago