Bug fix in PropRegular init propagation + update configuration.properties
Merge branch 'feature-mzn' into develop