GitHub repository: potassco/clingo-dl-theory-rs
Primary language: Rust
Description: Raw Rust FFI bindings to the C API of clingo-dl library