potassco/anthem

🧠 A translator between answer set programs and first-order logic

语言：Rust · GitHub 星标：17 · Fork：6

在 GitHub 上查看原仓库