Manage csv and bdd in parallelization (mzn)
Merge branch 'feature-parbdd' into develop
Set up directory for MZN13 challenge
Merge branch 'feature-prepa' into develop
Merge branch 'develop' of github.com:chocoteam/choco3 into develop