-
v0.2
- added -probing=X flag for solving flatzinc files where X is the stop value of probing in milliseconds. - probing now stops after find the optimal solution - results now get saved in a text file and get loaded at the start of probing
On the 8th of May from 18:00 to 20:00 we will be performing maintenance on GitLab. During this time the service will be unavailable, apologies for any inconvenience.
- added -probing=X flag for solving flatzinc files where X is the stop value of probing in milliseconds. - probing now stops after find the optimal solution - results now get saved in a text file and get loaded at the start of probing