[maven-release-plugin] prepare for next development iteration
integrate the development version 3.1.1-SNAPSHOT generated by maven
[Fix #148] update script
Merge branch 'feature-script' into develop
remove delta from variable type arguments (genericity)
remove var type from view
-minor

update extra dir
- imports
- remove propagator from constraint type
imports
Merge branch 'feature-gen' into develop
changes md
remove IntConstraint

was useless
Merge branch 'feature-ref' into develop
- default sequencer

a strat sequencer is automatically created in case many strategies are
given at the same time
minor
minor
Merge branch 'feature-indir' into develop
- Constraints refactoring (solver)

Less constraint objects
Propagators given once and for all in super constructor
update modules