Daniel Le Berre

52de9dd8 · Fix for missing reasons for unit clauses across SAT calls

adda8a7c · Added new solver ResolutionNoSimplificationPB24 to check support fo...

8c6cd1b4 · Added new solver ResolutionSimplificationsPB24 to check support for...

2422303f · Better fix for labels with root unit clauses

b7b0e9bc · Fix for labels with root unit clauses

452ee8e8 · More efficient order for labels, learned unit clauses with labels

5ffb8f21 · Disable simplification in ResolutionPB24

350ee571 · Added support for rup labels

950b67e7 · Marc disabled more elines

be741265 · print e lines on reading only if -Ddebugveripb is passed to java

f6c73c37 · Fix for metafix benchmark

9dcc406f · Fix for haplotype problems

971772a0 · Update internal constraint id in case of learning a unit clause

a681385a · Real fix for air01, which does not break other invariants

6c49958d · Fix for air01

7819fe26 · One more step toward VeriPB 2.0 correctness

54d5b03e · Better fix UnitClausesPB output in VeriPB format

5ce71e38 · Fixed UnitClausesPB output in VeriPB format

0004e197 · Fixed issue with lion9 benchmarks

924ca8fe · Fix for lower bound using rup