Refactor Lyapunov function solver to Nash solver paradigm.