feat: literals, lower and upper bounds in the offset constraint module within grind
#26664
| Job | Run time |
|---|---|
| 2s | |
| 13m 0s | |
| 22m 35s | |
| 1s | |
| 0s | |
| 0s | |
| 35m 38s |
grind
#26664
| Job | Run time |
|---|---|
| 2s | |
| 13m 0s | |
| 22m 35s | |
| 1s | |
| 0s | |
| 0s | |
| 35m 38s |