• solver_t : dummy-d-sparse-laststate.cc, dummy-laststate.cc, dummy-td.cc, dummy.cc