Update CHANGES.md
cumulative fix

slightly better height pruning
cumul improvement

- randomized propagation
- memory leak fixed
- minor code opt
- enable override (protected)
add getSetType in ISet
add SetVar duplication #127
Merge branch 'feature-setdupl' into develop
Fix BoolConstantView not throwing an exception when faced with a contradiction.
Merge pull request #128 from JLiangWaterloo/fix-zero-one-bools

Constants zero and one do not raise contradictions
refactoring
add Thierry's sweep
refactoring
minor changes
refactoring
refactoring
[Issue #130] Fix
Merge branch 'feature-view' into develop
filter more
-refactor
fixes+test

-sweep still buggy
fix PropSumOfElements #131