Add MiniSat and its C bindings