Performance improvements for occurrence list.

StephanGocht / VeriPB

Verifier for pseudo-Boolean proofs

MIT License

12 stars 1 forks source link

Performance improvements for occurrence list. #29

Closed StephanGocht closed 2 years ago

StephanGocht commented 3 years ago

Building (and cleaning) the occurrence list might be on reason for attaching / detaching taking too much time. This could be done lazily as this is only required for redundancy checks.

StephanGocht commented 2 years ago

Implemented in next release.