search

StephanGocht / VeriPB

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

Deletion semantic #7

Closed StephanGocht closed 2 years ago

StephanGocht commented 4 years ago

Current semantic for deletion is that it may remove constraints. Desired semantic would be that deletion is enforced (especially for DRAT).

StephanGocht commented 2 years ago

Fixed with next release.