digi_solver
