GitHub repository: sirandreww/cadical-sys
Primary language: Rust
Description: Unsafe system level bindings of the cadical sat solver written in C++