🎼 Translate answer set programs to first-order theorem prover language
Primary LanguageRustMIT LicenseMIT
No issues in this repository yet.