Adding a New Model to the Solver

This documentation is under development.