Commits · veripb2 · SAT4J / sat4j · GitLab

Snippets Groups Projects

Apr 02, 2025
- Fix for missing reasons for unit clauses across SAT calls · 52de9dd8
  Daniel Le Berre authored 1 week ago
  
  52de9dd8
Apr 01, 2025
- Added new solver ResolutionNoSimplificationPB24 to check support for clause simplification · adda8a7c
  Daniel Le Berre authored 2 weeks ago
  
  adda8a7c
- Added new solver ResolutionSimplificationsPB24 to check support for clause simplification · 8c6cd1b4
  Daniel Le Berre authored 2 weeks ago
  
  8c6cd1b4
- Better fix for labels with root unit clauses · 2422303f
  Daniel Le Berre authored 2 weeks ago
  
  2422303f
- Fix for labels with root unit clauses · b7b0e9bc
  Daniel Le Berre authored 2 weeks ago
  
  b7b0e9bc
Mar 31, 2025
- More efficient order for labels, learned unit clauses with labels · 452ee8e8
  Daniel Le Berre authored 2 weeks ago
  
  452ee8e8
- Removed unsused field · d0cbe907
  Daniel Le Berre authored 2 weeks ago
  
  d0cbe907
- Disable simplification in ResolutionPB24 · 5ffb8f21
  Daniel Le Berre authored 2 weeks ago
  
  5ffb8f21
Mar 30, 2025
- Added support for rup labels · 350ee571
  Daniel Le Berre authored 2 weeks ago
  
  350ee571
Mar 27, 2025
- Marc disabled more elines · 950b67e7
  Daniel Le Berre authored 2 weeks ago
  
  950b67e7
Mar 26, 2025
- print e lines on reading only if -Ddebugveripb is passed to java · be741265
  Daniel Le Berre authored 2 weeks ago
  
  be741265
- Fix for metafix benchmark · f6c73c37
  Daniel Le Berre authored 2 weeks ago
  
  f6c73c37
- Fix for haplotype problems · 9dcc406f
  Daniel Le Berre authored 2 weeks ago
  
  9dcc406f
Mar 25, 2025
- Update internal constraint id in case of learning a unit clause · 971772a0
  Daniel Le Berre authored 3 weeks ago
  
  971772a0
- Real fix for air01, which does not break other invariants · a681385a
  Daniel Le Berre authored 3 weeks ago
  
  a681385a
- Fix for air01 · 6c49958d
  Daniel Le Berre authored 3 weeks ago
  
  6c49958d
Mar 24, 2025
- One more step toward VeriPB 2.0 correctness · 7819fe26
  Daniel Le Berre authored 3 weeks ago
  
  7819fe26
Mar 19, 2025
- Better fix UnitClausesPB output in VeriPB format · 54d5b03e
  Daniel Le Berre authored 3 weeks ago
  
  54d5b03e
- Fixed UnitClausesPB output in VeriPB format · 5ce71e38
  Daniel Le Berre authored 3 weeks ago
  
  5ce71e38
Mar 18, 2025
- Fixed issue with lion9 benchmarks · 0004e197
  Daniel Le Berre authored 4 weeks ago
  
  0004e197
- Removed spurious display of solver configuration · 6483d155
  Daniel Le Berre authored 4 weeks ago
  
  6483d155
Mar 16, 2025
- Fix for lower bound using rup · 924ca8fe
  Daniel Le Berre authored 1 month ago
  
  924ca8fe
- Fixes for currentConstraintId mixup · ce288817
  Daniel Le Berre authored 1 month ago
  
  ce288817
Mar 10, 2025
- Fix tautologies handling · f08ba307
  Daniel Le Berre authored 1 month ago
  
  f08ba307
Mar 09, 2025
- Fix for = simplification and strengthening constraint simplification · 07ccaeef
  Daniel Le Berre authored 1 month ago
  
  07ccaeef
- Fix for TAUTOLOGY handling in veripb · 570bef38
  Daniel Le Berre authored 1 month ago
  
  570bef38
Feb 22, 2025
- Remove code duplication · 3b4db24e
  Daniel Le Berre authored 1 month ago
  
  3b4db24e
Feb 21, 2025
- Fix NPE · 4a1165d5
  Daniel Le Berre authored 1 month ago
  
  4a1165d5
- ClassCast fixes · c6703902
  Daniel Le Berre authored 1 month ago
  
  c6703902
- Fixed last issues with saturation and division on read · 8df77215
  Daniel Le Berre authored 1 month ago
  
  8df77215
- Fixing tests · 78702686
  Daniel Le Berre authored 1 month ago
  
  78702686
- Fix test for new code. · 07d616b3
  Daniel Le Berre authored 1 month ago
  
  07d616b3
- Fix test case. · bf7a2acf
  Daniel Le Berre authored 1 month ago
  
  bf7a2acf
- First tentative VeriPB2.0 support · 23ee77bc
  Daniel Le Berre authored 1 month ago
  
  23ee77bc
Feb 05, 2025
- Fix for unsat answer without bound · d37bdad5
  Daniel Le Berre authored 2 months ago
  
  d37bdad5
- Fix UnitClausesPB exception with VeriPB proof · d26d068c
  Daniel Le Berre authored 2 months ago
  
  d26d068c
Nov 20, 2024
- Fix veripb output · 6f11a5cc
  Daniel Le Berre authored 4 months ago
  
  6f11a5cc
Aug 24, 2024
- HTClause literals ordered to simplify debugging · 78b5fc05
  Daniel Le Berre authored 7 months ago
  
  78b5fc05
Jul 06, 2024
- Deactivate constraints simplifications when deadling with proofs · 93982914
  Daniel Le Berre authored 9 months ago
  
  93982914
Jul 05, 2024
- fixing timeout comment mixing with model · 5d304507
  Daniel Le Berre authored 9 months ago
  
  5d304507