Worked a lot on the solver. Time would fail me to tell all.

Telling you everything is github's job. :)