kurobako_solvers