Progress on solve
yet again some other progress
Intermediary commit
Updating to latest clojure.
Some improvments
future-fact
correctness.
simplification.
simplification.