[CP-SAT] add float value to the CpSolver and solution callback classes #2185
| Job | Run time |
|---|---|
| 1h 51m 54s | |
| 1h 55m 52s | |
| 2h 3m 24s | |
| 1h 57m 28s | |
| 2h 29m 8s | |
| 2h 31m 5s | |
| 2h 32m 1s | |
| 2h 28m 7s | |
| 2h 0m 54s | |
| 2h 12m 9s | |
| 2h 18m 22s | |
| 2h 13m 4s | |
| 1h 59m 11s | |
| 2h 8m 26s | |
| 2h 10m 6s | |
| 2h 5m 26s | |
| 1h 54m 34s | |
| 1h 58m 54s | |
| 2h 4m 21s | |
| 1h 58m 55s | |
| 1h 51m 33s | |
| 1h 56m 59s | |
| 2h 5m 53s | |
| 2h 1m 48s | |
| 1h 49m 50s | |
| 1h 58m 31s | |
| 2h 0m 53s | |
| 1h 56m 43s | |
| 1h 58m 23s | |
| 1h 59m 16s | |
| 2h 1m 36s | |
| 1h 58m 5s | |
| 2d 18h 32m 51s |