Ondokuz / aspcud

CUDF solver based on Answer Set Programming

•     Ralf Treinen
•     [email protected]
•     http://www.cs.uni-potsdam.de/wv/aspcud/
•     1:1.9.4-2
•     aspcud_1.9.4-2_amd64.deb
•     135.4 KiB
•     admin
•     amd64
•      aspcud_1.9.4-2.debian.tar.xz
            aspcud_1.9.4-2.dsc
            aspcud_1.9.4.orig.tar.gz
•     Debian Versiyonu: 1:1.9.4-2
•     CUDF solver based on Answer Set Programming

Diğer Pardus sürümlerindeki versiyonlar