[Issue #130] Fix
Merge branch 'feature-view' into develop
fix PropSumOfElements #131
Merge branch 'feature-fixsetsum' into develop
[Issue #132] Step 1. comment path_repair in ExplanationFactory
[Issue #121] Update tests
Merge branch 'feature-i130' into develop
Merge branch 'feature-DR' into develop
Merge branch 'develop' of github.com:chocoteam/choco3 into develop
Merge branch 'develop' into feature-petitsweep