Backend solvers now conform to user options