Finished describing C-solver and explained it with regards to the rover example
Evaluation Conclusion Abstract. Changed Introduction. Introduced Optimisation Modulo Theories.