GitHub repository: potassco/anthem
Primary language: Rust
Created: 2016-11-21T16:50:35Z
Description: A translator between answer set programs and first-order logic