GitHub repository: potassco/anthem-1
Primary language: Rust
Description: 🎼 Translate answer set programs to first-order theorem prover language