Пакунок: aspcud (1:1.9.6-2) [debports]

Links for aspcud

Debian Resources:

Bug Reports

Download Source Package :

Не знайдено

Maintainers:

External Resources:

Homepage [potassco.org]

Similar packages:

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

depends

recommends

suggests

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.34)

Бібліотека GNU C: спільні бібліотеки
also a virtual package provided by libc6-udeb
dep: libgcc-s1 (>= 3.4)

Допоміжна бібліотека GCC
dep: libstdc++6 (>= 11)

Стандартна бібліотека C++ GNU, версії 3

Завантажити aspcud

Завантаження для всіх доступних архітектур
Архітектура	Розмір пакунка	Розмір після встановлення	Файли
sparc64 (unofficial port)	105.9 kB	2,116.0 kB	[список файлів]