GitHub repository: mmaroti/cadical-rs
Primary language: Rust
Created: 2020-06-06T00:18:13Z
Description: Rust bindings for the CaDiCaL SAT solver