- Constraints refactoring (solver)

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