Paket: aspcud (1:1.9.4-2)

aspcud için bağlantılar

Debian Kaynakları:

aspcud Kaynak Paketini İndir:

Geliştirici:

Ralf Treinen (QA Sayfası)

Dış Kaynaklar:

Ana Sayfa [www.cs.uni-potsdam.de]

Benzer paketler:

CUDF solver based on Answer Set Programming

Aspcud is an experimental solver for package dependencies. A package universe and a request to install, remove or upgrade packages have to be encoded in the CUDF format.

aspcud ile İlgili Diğer Paketler

bağımlılıklar

tavsiye edilen

önerilen

enhances

dep: clasp (<< 4)

conflict-driven nogood learning answer set solver

dep: clasp (>= 3.0.0)
dep: gringo (>= 4.2.1)

grounding tools for (disjunctive) logic programs
dep: libc6 (>= 2.14) [amd64]

GNU C Library: Shared libraries
ayrıca şunun tarafından sağlanan bir sanal paket libc6-udeb

dep: libc6 (>= 2.17) [arm64]

dep: libc6 (>= 2.4) [armhf, i386]
dep: libgcc1 (>= 1:3.0) [armhf değil]

GCC support library

dep: libgcc1 (>= 1:3.5) [armhf]
dep: libstdc++6 (>= 5.2)

GNU Standard C++ Library v3

aspcud indir

Tüm mevcut mimariler için indir
Mimari	Paket Boyutu	Kurulu Boyut	Dosyalar
amd64	135,4 kB	504,0 kB	[dosya listesi]
arm64	121,0 kB	460,0 kB	[dosya listesi]
armhf	116,4 kB	347,0 kB	[dosya listesi]
i386	138,7 kB	493,0 kB	[dosya listesi]