Models and Solvers