Tags
Tags give the ability to mark specific points in history as being important
1.04a5
f474df2c
·
Fixed a small bug (missing new-line in -v2)
·
Jul 13, 2026
1.04a4
a08677ca
·
fixed a bug due to saving problem on IDE, and made some of Japanese messages into English
·
Jul 10, 2026
1.04a3
6d608f6f
·
Fixed a bug failing in 1st-stage
·
Jul 09, 2026
1.04a2
4b5ee95d
·
ver 1.04a2
·
Jul 08, 2026
1.04a1
f2b6f028
·
Fixed -mc when used with -sc2
·
Jul 06, 2026
1.04a
54765437
·
Update minimization strategy and add -seq-sc2 / -gwg options
·
Jul 03, 2026
1.04
db1b0b96
·
1.04
·
Jun 30, 2026
1.03a49
02060201
·
ver 1.03a49
·
Jun 05, 2026
1.03a48
d983f36c
·
Reordered outputs in signal handling
·
Jun 05, 2026
1.03a47
bbdd4065
·
Recovered .wbo problem solving with -cSCIP option
·
May 19, 2026
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
2
3