tiborschneider/minisat-rs

Rust crate which compiles minisat and provides an interface (C/C++ compiler required)

C++MIT