Fix a few bugs and includes the solver.limit_time(time_limit_string) function. We also illustrated a few use cases in docs/notebooks.
First release of pychoco, includes most features of Choco-solver. Extensively tested but still a beta release, we are open to feedbacks !