minisat-0.1.0 doesn't have any documentation.
MiniSat Rust interface. Solves a boolean satisfiability problem given in conjunctive normal form.
extern crate minisat;
This crate compiles the MiniSat sources directly and binds through
the minisat-c-bindings interface.
The low-level C bindings are available through the sys
module.