search

StephanGocht / VeriPB

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

Partial formula loading and solution logging. #31

Closed StephanGocht closed 2 years ago

StephanGocht commented 2 years ago

Solutions can be logged even if the the formula is only loaded partially and might thus allow to log invalid solutions, which is probably not the semantic we need.

StephanGocht commented 2 years ago

We currently have two rules the v rule checks solutions against the current database and ov checks solutions against the original formula.