GitHub repository: sirandreww/cadical-rs
Primary language: C++
Description: Rust bindings for the CaDiCaL SAT solver