Sat solver code in OCaml take from https://github.com/andrejbauer/lvr-sat. Ocaml Code practise!