search

StephanGocht / VeriPB

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

Improve Documentation #13

Open StephanGocht opened 4 years ago

StephanGocht commented 4 years ago

Documentation is still quite poor and needs improvement.

Especially: