Begining to work on the solver (in OCaml)
Began to really write on the introduction
First draft of a working solution written in oCaml