Learning project for solving sat problems in various languages (Scala, OCaml...)