search

StephanGocht / VeriPB

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

Dummy Constraint #8

Closed StephanGocht closed 2 years ago

StephanGocht commented 4 years ago

Currently constraint 0 can be accessed as dummy constraint 0 >= 0, this is undocumented and probably should not be standard. Goal: remove and provide explicit convenience constraint 0>=0.

StephanGocht commented 4 years ago

Actually one can already derive this using the reverse unit propagation rule: u opb 0 >= 0;

StephanGocht commented 2 years ago

Using unit propagation u >= 0 ; to derive a trivial constraints is the way to go. ConstraintId 0 is blocked now.