Yirmibir / clasp

conflict-driven nogood learning answer set solver

•     Debian Science Maintainers
•     debian-science-maintainers@lists.alioth.debian.org
•     https://www.potassco.org/clasp/
•     clasp_3.3.5-4_amd64.deb
•     3.3.5-4
•     619.4 KiB
•     interpreters
•     amd64
•     conflict-driven nogood learning answer set solver

Versions in other Pardus versions