GitHub repository: potassco/clingcon-theory-rs
Primary language: Rust
Created: 2021-06-22T08:58:06Z
Description: Raw Rust FFI bindings to the C API of clingcon library