fix: finish? checks whether solver propagation steps are needed
#14295
| Job | Run time |
|---|---|
| 0s | |
| 0s |
finish? checks whether solver propagation steps are needed
#14295
| Job | Run time |
|---|---|
| 0s | |
| 0s |