GitHub repository: potassco/anthem-next
Primary language: Rust
Description: A translator between answer set programs and first-order logic