Tags

Tags give the ability to mark specific points in history as being important

1.03a46a

e66d9fac · fixed possible bug caused last commit d7fd320b · May 17, 2026
1.03a46

d7fd320b · Fixed tha bug that SCIP returns unsat when pb_solver_status · May 17, 2026
1.03a45

c66cfcf9 · Conservative fix for the case SCIP returns unsat when pb_solver_status · May 17, 2026
1.03a44

4914c837 · reverse patch for f7699028 related NDEBUG #define · May 16, 2026
1.03a43a

938136e6 · Improved sending fixed variables found in SAT into SCIP · May 15, 2026
1.03a41

5de58413 · Fixed bug on -scip-stage-prop propagateion from SCIP->SAT · May 14, 2026
1.03a39

22bb739e · Fixed so that checkScipPrecisionSafety works · May 13, 2026
1.03a38

839f0507 · Moved printing best goal value where LB update · May 12, 2026
1.03a37

3e92a59f · Removing lots of warning from SCIP 10.x · May 11, 2026
1.03a36

b7cb8f9a · Fix constraint addition exception and unsound variable propagation · May 10, 2026
1.03a35

a6edee15 · Synchronize SAT fixed variables to SCIP in cooperative mode · May 08, 2026
1.03a34

79e13cb6 · kissat 4.0.4 · May 08, 2026
1.03a33

2e6ad5f8 · Fixed cadical2 commit · May 07, 2026
1.03a32

84817cde · Fixed reports UNSAT by addConstraint reports unsat in PbSolver.C#1960 · May 07, 2026
1.03a31

b15a22f2 · New option -scip-no-presolve to avoid SCIP presolver · May 07, 2026
1.03a30

11317771 · Improved stats for time for sat-solver timeout · Apr 30, 2026
1.03a29

f4e0cddd · Prefer SCIP for final model retrieval when appropriate · Apr 29, 2026
1.03a28

37dc7f4e · Refine cooperative SCIP invocation with cumulative time budget · Apr 28, 2026
1.03a27

7e695667 · Refine cooperative solver state and time budget scaling · Apr 28, 2026
1.03a26

d81eb536 · Add dynamic time budget for SAT solver in cooperative mode · Apr 27, 2026

1
2