Count conflicts to speed up solver#3513

Merged

kosmikus merged 10 commits intohaskell:masterfrom

kosmikus:count-conflicts-2

Jul 4, 2016

Commits on Jul 3, 2016

Commits on Jul 4, 2016

Remove state monad, and store state at the end of the log.

sebright
authored and
kosmikus
committed
Cleaning up.
kosmikus
committed