🎼 Translate answer set programs to first-order theorem prover language
Primary LanguageRustMIT LicenseMIT
No one’s watching this repository yet.