save
save
save
Merge branch 'develop' into choco3

Conflicts:
	choco/src/main/java/btrplace/solver/choco/DefaultReconfigurationProblem.java
Port sat constraints implementation
Minimum service for MinMTTR. Should fail
Desactivate ObjectiveAlterer
MyElement is no longer necessary.
Action models
Port RoundedUpDivision. Hope for the best
port some unit tests
save
Port FastIFFEq, FastImpliesEq
Still bad-porting some constraints
basic bugged bin-packing
last constraint to try to port
Well, at least it compiles.

159 failures left
BoolVar for states
Merge branch 'develop' into choco3
- null -> Cause.Null
- reduce some domain' size