rustsat-minisat - Interface to the Minisat SAT Solver for RustSAT

The Minisat SAT solver be used with the RustSAT library.

Minisat Version

The version of minisat in this crate is Version 2.2.0. The used C++ source repository can be found here.