https://123dok.net/document/yd7k1v4e-msat-an-ocaml-sat-solver.html