update database schema
Merge branch 'feature-perf' into develop
Change the default prop engine
Merge branch 'develop' of github.com:chocoteam/choco3 into feature-mzn
Merge branch 'develop' of github.com:chocoteam/choco3 into develop
Speed up parser + correct domain size condition for tuple generation
Merge branch 'feature-mzn' into develop