Refactored solver working on 2 test cases.
Working tpcs with 3 doctests including wikipedia
Working akq example