mercury/extras/solver_types
