Pakiet: packup (0.6-3.2 i inne)

[ Pakiet źródłowy: packup  ]

CUDF solver based on pseudo-Boolean constraints

packup is a solver for the package upgradability problem specified in the CUDF format. It repeatedly invokes an optimization pseudo-Boolean solver in order to solve the problem. By default minisat+ is used for that purpose but a different solver can be used by specifying the pertaining command line option.

Znaczniki: Rola: Program

Inne pakiety związane z packup

• dep: libc6 (>= 2.38)

  Biblioteka GNU C: biblioteki współdzielone
  również pakiet wirtualny udostępniany przez libc6-udeb

• dep: libgcc-s1 (>= 3.0) [amd64, arm64, ppc64el]

  Biblioteka wspomagająca GCC

  dep: libgcc-s1 (>= 3.4) [riscv64]

  dep: libgcc-s1 (>= 3.5) [armhf]

  dep: libgcc-s1 (>= 4.2) [i386, s390x]

• dep: libgmp10 (>= 2:6.3.0+dfsg)

  Biblioteka działań arytmetycznych z dużą dokładnością

• dep: libgmpxx4ldbl (>= 2:6.3.0+dfsg)

  Multiprecision arithmetic library (C++ bindings)

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

  Standardowa biblioteka GNU C++, wersja 3

• dep: minisat+

  Narzędzie do rozwiązywania ograniczeń pseudo-boolowskich

• dep: zlib1g (>= 1:1.1.4) [nie armhf]

  Biblioteka kompresyjna - pliki wykonawcze

  dep: zlib1g (>= 1:1.2.3.4) [armhf]

Pobieranie packup

Pobierz dla wszystkich dostępnych architektur

Architektura	Wersja	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	0.6-3.2	90,3 KiB	262,0 KiB	[lista plików]
arm64	0.6-3.2+b1	80,0 KiB	279,0 KiB	[lista plików]
armhf	0.6-3.2	74,4 KiB	213,0 KiB	[lista plików]
i386	0.6-3.2	95,9 KiB	265,0 KiB	[lista plików]
ppc64el	0.6-3.2	95,6 KiB	342,0 KiB	[lista plików]
riscv64	0.6-3.2	88,6 KiB	198,0 KiB	[lista plików]
s390x	0.6-3.2	88,6 KiB	274,0 KiB	[lista plików]