packup - CUDF solver based on pseudo-Boolean constraints

Property Value
Distribution Debian 7 (Wheezy)
Repository Debian Main amd64
Package name packup
Package version 0.6
Package release 1
Package architecture amd64
Package type deb
Installed size 336 B
Download size 112.74 KB
Official Mirror
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.


Package Version Architecture Repository
packup_0.6-1_i386.deb 0.6 i386 Debian Main
packup - - -


Name Value
libc6 >= 2.2.5
libgcc1 >= 1:4.1.1
libgmp10 -
libgmpxx4ldbl -
libstdc++6 >= 4.4.0
minisat+ -
zlib1g >= 1:1.1.4


Name Value
cudf-solver -


Type URL
Binary Package packup_0.6-1_amd64.deb
Source Package packup

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install packup deb package:
    # sudo apt-get install packup



See Also

Package Description
pacman4console_1.2-2_amd64.deb a console based pacman game
pacman_10-17_amd64.deb Chase Monsters in a Labyrinth
paco_2.0.9-2_amd64.deb simple but yet powerful source code package management system
pacpl_4.0.5-7.1_all.deb multi-purpose audio converter/ripper/tagger script
padre_0.96+dfsg1-2_all.deb Perl Application Development and Refactoring Environment
pads_1.2-11_amd64.deb Passive Asset Detection System
page-crunch_1.0.1-3_all.deb PDF and PS manipulation for printing needs
paje.app_1.98-1+b1_amd64.deb generic visualization tool (Gantt chart and more)
pal_0.4.3-8_amd64.deb command-line calendar program that can keep track of events
palapeli-data_4.8.4-3_all.deb data files for palapeli jigsaw puzzle game
palapeli_4.8.4-3_amd64.deb jigsaw puzzle game
palbart_2.4-7_amd64.deb Enhanced version of the PAL PDP8 assembler
palp_1.1-1.2_amd64.deb A Package for Analyzing Lattice Polytopes
pam-dbus-notify_0.2.1-1_all.deb Handler for the pam-dbus module, using notification-daemon
paman_0.9.4-1_amd64.deb PulseAudio Manager