GitHub repository: msoos/cryptominisat-rs
Primary language: Rust
Description: CryptoMiniSat rust bindings