Solver under development