0.4.2: update versions: python 3.12, minizinc 2.6-2.7.6 (#74) #48
Job | Run time |
---|---|
1m 36s | |
1m 38s | |
1m 41s | |
1m 37s | |
1m 39s | |
1m 37s | |
1m 37s | |
1m 37s | |
1m 30s | |
1m 19s | |
0s | |
15m 51s |
Job | Run time |
---|---|
1m 36s | |
1m 38s | |
1m 41s | |
1m 37s | |
1m 39s | |
1m 37s | |
1m 37s | |
1m 37s | |
1m 30s | |
1m 19s | |
0s | |
15m 51s |