packup_0.6-1_amd64.deb


Advertisement

Description

packup - CUDF solver based on pseudo-Boolean constraints

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: ftp.br.debian.org
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.

Alternatives

Provides

  • cudf-solver

    Download

    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

    Files

    • /usr/bin/packup
    • /usr/share/cudf/solvers/packup
    • /usr/share/doc/packup/changelog.Debian.gz
    • /usr/share/doc/packup/copyright
    • /usr/share/man/man1/packup.1.gz

    Changelog

    2011-06-15 - Ralf Treinen <treinen@debian.org> packup (0.6-1) unstable; urgency=low * New upstream release.

    2011-06-10 - Ralf Treinen <treinen@debian.org> packup (0.5-3) unstable; urgency=low * Remove wrapper since no longer needed * Use interpolation variables in solver specification file, add description

    2011-06-06 - Ralf Treinen <treinen@debian.org> packup (0.5-2) unstable; urgency=low * Install specification file into /usr/share/cudf/solvers.

    2011-05-27 - Ralf Treinen <treinen@debian.org> packup (0.5-1) unstable; urgency=low * Initial release (closes: #627973)

    Advertisement
    Advertisement