Feature change observer pattern#271

Open

Wikunia wants to merge 13 commits intomasterfrom

feature-change-observer-pattern

Commits on Jul 31, 2021

removed changed! function
Wikunia
committed

Commits on Aug 1, 2021

notify_constraints_var_changed! & changed_var!
Wikunia
committed

Commits on Aug 7, 2021

Merge branch 'master' into feature-change-observer-pattern
Wikunia
authored

Commits on Aug 15, 2021

Strictly fixed
Wikunia
committed

Commits on Aug 16, 2021

testing inner_pruned check but failing...
Wikunia
committed

Commits on Aug 21, 2021

Commits on Aug 22, 2021

Commits on Sep 11, 2021

Commits on Oct 26, 2021

check whether reverse prune was needed
Wikunia
committed

Commits on Jan 8, 2022

Merge branch 'master' into feature-change-observer-pattern
Wikunia
committed