minisat 0.3.3

MiniSat Rust interface. Solves a boolean satisfiability problem given in conjunctive normal form.
{
  "git": {
    "sha1": "8032c2bf0dcb1707784a319fbbc398ac2d3f03c1"
  }
}