Can the minisat C stuff be replaced?
The are various open source minisat wrappers for OCaml and it would probably streamline our build process to remove our own C stubs for minisat in favour or externally maintained ones.
- https://github.com/c-cube/ocaml-minisat/
-
https://github.com/flerda/MiniSat-ocaml
It seems however that those are only for minisat 1.14. Which version are we currently using?
It might also be worth looking at mSAT which is an OCaml lib to begin with and might have competitive performance