Fix bugs in RealView + add LimitChecker.remove()
Fix bug in solver.unassociate() + add a naive propagator for Times
Fixed BoolNotView not conforming to its interface.
revert wrong commit on Propagator
add test
Merge branch 'JLiangWaterloo-fix-boolnotview' into develop
Add reaction on fine evt within the Propagator
Update AllDiff AC propagators and modify default propagation engine.
Merge branch 'feature-par' into develop
fix reif builder

avoid duplicata
enable to set the reification BoolVar
remove comment
Merge branch 'feature-fixBuil' into develop