solvers: bounded -> finite