- Refactored backtracking
- Adding initial Rete modification capabilities (bugs remain)
- Dependency graph also buggy
- Rewrote rule learning
- Adding learning from all conflicts
- Changed rewriting to create constraints for all predicates
- Fixed some bugs
- Basic steps for backjumping based on learned conflict.
- Basic steps for MustBeTrue (memory management still missing).
- Refactoring wrt. ChoiceUnits and backtracking.
- Removing dead code.
- Basic MBT functionality present.
- MustBeTrue now working.
- Making debug output depend on GlobalSettings.