[CP-SAT] remove useless python type checks #1485
Job | Run time |
---|---|
1h 20m 5s | |
54m 50s | |
45m 49s | |
54m 48s | |
55m 16s | |
55m 51s | |
55m 10s | |
54m 45s | |
55m 31s | |
54m 47s | |
55m 30s | |
10h 22m 22s |
Job | Run time |
---|---|
1h 20m 5s | |
54m 50s | |
45m 49s | |
54m 48s | |
55m 16s | |
55m 51s | |
55m 10s | |
54m 45s | |
55m 31s | |
54m 47s | |
55m 30s | |
10h 22m 22s |