v0.2

Floris Doolaard

@fdoolaard

cb697f4b · Merge branch 'iterative-learning' into 'master' · Dec 04, 2019

- 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