Jan Hindges (50375c75) at 27 Mar 22:18
Push (incomplete) state of rewrite.
Jan Hindges (333aa06c) at 27 Mar 14:57
Add unfoldPattern and Todos for further development.
Jan Hindges (683f6d43) at 23 Mar 12:23
Fix simplify and remove user state from clauses.
Jan Hindges (2dd90b42) at 21 Mar 15:33
Extend binders with let definitions.
Jan Hindges (2afc6c84) at 18 Mar 17:24
Add reference to parent problem and fix goal type in constructor sp...
Jan Hindges (d660e83c) at 16 Mar 17:29
Drop split binder and fix resulting problem printing.
Jan Hindges (56131cf5) at 15 Mar 16:53
Update constraints structure and constructor split.
... and 1 more commit
Jan Hindges (7938d5cf) at 13 Mar 17:07
Change problem solution to contain a tree constructor function.
... and 4 more commits
Jan Hindges (d8991f24) at 11 Mar 21:08
Add new clauses for problems and cleanup broken code.
Jan Hindges (f2f3ea8d) at 02 Mar 22:37
Update tactics to new constraints and make simple elaborations work.
... and 3 more commits
Jan Hindges (da08c1e1) at 23 Feb 13:52
Change focus and elaborate to work on and produce solutions.
Jan Hindges (737de4c6) at 23 Feb 11:17
Improve split constraint search.
Jan Hindges (af3862d8) at 22 Feb 14:57
Update TODOs and push state of development.
... and 1 more commit
Jan Hindges (657d11f3) at 20 Feb 22:37
Update TODOs.
Jan Hindges (67856ff2) at 20 Feb 16:59
Improve constraint resolvement.