search

StephanGocht / VeriPB

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

64bprecision #22

Closed JoD closed 4 years ago

JoD commented 4 years ago

Now checks RoundingSat proofs in 1% of the time!

Also a ninja commit on progress bar size :)