Ondokuz / clasp

conflict-driven nogood learning answer set solver

•     Debian Science Maintainers
•     [email protected]
•     https://www.potassco.org/clasp/
•     3.3.4-2
•     clasp_3.3.4-2_amd64.deb
•     613.0 KiB
•     interpreters
•     amd64
•      clasp_3.3.4-2.debian.tar.xz
            clasp_3.3.4-2.dsc
            clasp_3.3.4.orig.tar.gz
•     Debian Versiyonu: 3.3.4-2
•     conflict-driven nogood learning answer set solver

Diğer Pardus sürümlerindeki versiyonlar