sat-solver in OCaml, extracted from [0install](https://github.com/0install/0install/)