Balík: aspcud (1:1.9.6-2) [debports]

[ Zdroj:  ]

riešiteľ CUDF založený na Answer Set Programming

Aspcud je experimentálny riešiteľ závislostí balíkov. Zoznam balíkov a požiadavka na inštaláciu, odstránenie či aktualizáciu balíkov musia byť uvedené vo formáte CUDF.

Ostatné balíky súvisiace s balíkom aspcud

• dep: clasp (<< 4)

  učiaci sa riešiteľ sady odpovedí nogood riadený konfliktami

  dep: clasp (>= 3.0.0)

• dep: gringo (>= 4.2.1)

  nástroje na uzemnenie programov (disjunktnej) logiky

• dep: libc6 (>= 2.34)

  knižnica GNU C - zdieľané knižnice
  tiež virtuálny balík poskytovaný balíkom libc6-udeb

• dep: libgcc-s2 (>= 4.2.1)

  podporná knižnica GCC

• dep: libstdc++6 (>= 11)

  štandardná knižnica C++ GNU v3

Stiahnuť aspcud

Stiahnuť pre všetky dostupné architektúry

Architektúra	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
m68k (neoficiálny port)	107.5 kB	378.0 kB	[zoznam súborov]