all options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Source: packup  ]

Пакунок: packup (0.6-3.1 and others)

Links for packup


Debian Resources:

Download Source Package packup:


Similar packages:

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.

Tags: Role: Program

Інші пакунки пов'язані з packup

  • depends
  • recommends
  • suggests
  • enhances

Завантажити packup

Завантаження для всіх доступних архітектур
Архітектура Версія Розмір пакунка Розмір після встановлення Файли
alpha (unofficial port) 0.6-3.1 84.5 kB285.0 kB [список файлів]
amd64 0.6-3.1 84.8 kB249.0 kB [список файлів]
arm64 0.6-3.1 77.3 kB237.0 kB [список файлів]
armel 0.6-3.1 71.3 kB208.0 kB [список файлів]
armhf 0.6-3.1 73.3 kB156.0 kB [список файлів]
hppa (unofficial port) 0.6-3.1 83.3 kB234.0 kB [список файлів]
i386 0.6-3.1 91.3 kB256.0 kB [список файлів]
ia64 (unofficial port) 0.6-3.1 104.4 kB462.0 kB [список файлів]
m68k (unofficial port) 0.6-3.1 73.9 kB228.0 kB [список файлів]
mips64el 0.6-3.1 85.5 kB337.0 kB [список файлів]
ppc64 (unofficial port) 0.6-3.1 92.4 kB343.0 kB [список файлів]
ppc64el 0.6-3.1 92.7 kB341.0 kB [список файлів]
riscv64 (unofficial port) 0.6-3.1+b1 82.4 kB202.0 kB [список файлів]
s390x 0.6-3.1 78.1 kB261.0 kB [список файлів]
sh4 (unofficial port) 0.6-3.1 83.2 kB208.0 kB [список файлів]
sparc64 (unofficial port) 0.6-3.1 70.2 kB240.0 kB [список файлів]
x32 (unofficial port) 0.6-3.1 81.5 kB228.0 kB [список файлів]