minisat 0.4.4

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