Boolean Formulae & SAT project in OCaml