[CP-SAT] remove Domain deprecated API; work on diffn #674
Job | Run time |
---|---|
48m 2s | |
40m 48s | |
40m 59s | |
39m 36s | |
51m 18s | |
36m 29s | |
36m 48s | |
39m 36s | |
5h 33m 36s |
Job | Run time |
---|---|
48m 2s | |
40m 48s | |
40m 59s | |
39m 36s | |
51m 18s | |
36m 29s | |
36m 48s | |
39m 36s | |
5h 33m 36s |