search

StephanGocht / VeriPB

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

Non standard code. #32

Open StephanGocht opened 2 years ago

StephanGocht commented 2 years ago

The current code is not standard compliant. Especially it uses uint.