Sorting prints from C++

StephanGocht / VeriPB

Verifier for pseudo-Boolean proofs

MIT License

12 stars 1 forks source link

Closed JoD closed 2 years ago

JoD commented 4 years ago

Fixes #21

StephanGocht commented 2 years ago

Sorting is integrated in the current version, with a slightly more sophisticated approach.