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