potassco/anthem-1

🎼 Translate answer set programs to first-order theorem prover language

语言：Rust · GitHub 星标：7 · Fork：5

话题：asp · first-order-logic · theorem-proving · verification

在 GitHub 上查看原仓库