packup - CUDF solver based on pseudo-Boolean constraints

Property Value
Distribution Ubuntu 12.04 LTS (Precise Pangolin)
Repository Ubuntu Universe amd64
Package name packup
Package version 0.6
Package release 1
Package architecture amd64
Package type deb
Installed size 336 B
Download size 112.45 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 Ubuntu Universe
packup - - -


Name Value
libc6 >= 2.4
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-2ubuntu1_amd64.deb a console based pacman game
pacman_10-17ubuntu2_amd64.deb Chase Monsters in a Labyrinth
paco_2.0.9-1_amd64.deb simple but yet powerful source code package management system
pacpl_4.0.5-7_all.deb multi-purpose audio converter/ripper/tagger script
padre_0.90.ds1-1_all.deb Perl Application Development and Refactoring Environment
pads_1.2-11ubuntu1_amd64.deb Passive Asset Detection System
page-crunch_1.0.1-2_all.deb PDF and PS manipulation for printing needs
paje.app_1.97+cvs20080110-2build4_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
palbart_2.4-7_amd64.deb Enhanced version of the PAL PDP8 assembler
palp_1.1-1.1_amd64.deb A Package for Analyzing Lattice Polytopes
pam-dbus-notify_0.2-2_all.deb Handler for the pam-dbus module, using notification-daemon
paman_0.9.4-1ubuntu3_amd64.deb PulseAudio Manager
pamusb-common_0.5.0-3_amd64.deb helper tools for the pam-usb module
pamusb-tools_0.5.0-3_all.deb dummy transitional package for pamusb-common