GitHub repository: luteberget/minisat-rs
Primary language: C++
Created: 2018-10-21T14:28:26Z
Description: Rust crate which compiles minisat and provides an interface (C/C++ compiler required)