# TODO Constraints Reactor

- [ ] Production matching algorithm 
    - [ ] Partially matched constraints in a persistent discrimination trie
    - [ ]  Fired propagations kept as history
- [ ] Persistent Constraints store
- [ ] Persistent stack frame
- [ ] Processing of evaluation failures
- [ ] unification
- [ ] open questions
    - [x] reactivate constraint on **nested** logical change
    - [x] restore the state of logicals on rollback
