Tags

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

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.03a25

ab442a79 · implemented to pass UB to SCIP · Apr 24, 2026
1.03a24

fa185590 · version number · Apr 24, 2026
1.03a23

b93aa88d · Cooperating with SCIP · Apr 22, 2026
1.03a22

c926fd3f · Fixed interrupt problem cased by heap allocation release deadlock, and · Apr 21, 2026
1.03a21

ae60d545 · Fixed interrupt problem on -SCIP · Apr 17, 2026
1.03a20

f5803949 · Fixed bug on model_check · Apr 15, 2026
1.03a19

e29a84c6 · Controlling print size of dump: · Apr 15, 2026
1.03a18

4f8ba1c5 · removed remaining exit(1), and notational in INSTALL.md · Apr 08, 2026
1.03a17

6a2fe8ff · gcd by iteration · Apr 02, 2026
v1.02c40h

b7842e1f · Merge branch 'refine-goal-constraint4' of... · Jul 03, 2024
```
version 1.02c40h
```
v1.03a2

125435e0 · Fixed the problem that sometimes returns SAT on WBO when recieved a signal · Jul 30, 2024
1.02b3

40be7643 · ver 1.02b3 · May 17, 2022
```
fixed bugs related to memory management
```