Snippets Groups Projects

Daniel Le Berre

@leberre

Activity

Issues, merge requests, pushes, and comments.

1 week ago

pushed to branch veripb2 at SAT4J / sat4j

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

1 week ago

pushed to branch veripb2 at SAT4J / sat4j

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

1 week ago

pushed to branch veripb2 at SAT4J / sat4j

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

1 week ago

pushed to branch veripb2 at SAT4J / sat4j

2422303f · Better fix for labels with root unit clauses

1 week ago

pushed to branch veripb2 at SAT4J / sat4j

b7b0e9bc · Fix for labels with root unit clauses

1 week ago

pushed to branch veripb2 at SAT4J / sat4j

452ee8e8 · More efficient order for labels, learned unit clauses with labels
... and 1 more commit. Compare 5ffb8f21...452ee8e8

1 week ago

pushed to branch veripb2 at SAT4J / sat4j

5ffb8f21 · Disable simplification in ResolutionPB24

1 week ago

pushed to branch veripb2 at SAT4J / sat4j

350ee571 · Added support for rup labels

2 weeks ago

pushed to branch veripb2 at SAT4J / sat4j

950b67e7 · Marc disabled more elines

2 weeks ago

pushed to branch veripb2 at SAT4J / sat4j

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

2 weeks ago

pushed to branch veripb2 at SAT4J / sat4j

f6c73c37 · Fix for metafix benchmark

2 weeks ago

pushed to branch veripb2 at SAT4J / sat4j

9dcc406f · Fix for haplotype problems

2 weeks ago

pushed to branch veripb2 at SAT4J / sat4j

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

2 weeks ago

pushed to branch veripb2 at SAT4J / sat4j

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

2 weeks ago

pushed to branch veripb2 at SAT4J / sat4j

6c49958d · Fix for air01

Personal projects

There are no projects available to be displayed here