minisat 0.3.3

MiniSat Rust interface. Solves a boolean satisfiability problem given in conjunctive normal form.
#include "minisat.h"