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
updated dependencies
Merge branch 'develop' into choco3