_data/solvers.yml: add more solvers