---
name: "packup"
section: "1"
platform: "linux"
package: "packup"
version: "0.6-3.1"
release: "Debian 13 (Trixie)"
platforms: ["linux"]
url: "https://new.carta.tech/packup"
---

# packup(1)

## NAME

PackUP --  PACKage Upgradability Problem solver

## SYNOPSIS

**packup** \[OPTIONS\] input\_file\_name \[output\_file\_name\]

## DESCRIPTION

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

If input\_file\_name is '-', input is read from the standard input.  If the output\_file\_name is omitted, output is produced to the standard output.

## OPTIONS

- **-t**

  Use trendy  criterion

- **-p**

  Use  paranoid criterion

- **-u** *cs*

  Use user criterion *cs*.  A criterion is a lexicographic combination of the utility functions removed, notuptodate, unmet\_recommends, new, and changed.  Each of them with a polarity ("+" for a function to maximize, "-" for a function to minimize). The functions are listed in decreasing order of priority, and separated by the symbol ",". For instance, the paranoid criterion could be written as -removed,-changed.  For more details see: http://www.mancoosi.org/misc-live/20101126/criteria/

- **--external-solver**

  command for the external solver default 'minisat+ -ansi'

- **--multiplication-string**

  string between coefficients and variables when communicating to the solver, default '\*'

- **--temporary-directory** *DIR*

  directory where temporary files are created. If this option is not given then the value of $TMPDIR is used if defined, otherwise temporary files are placed in '/tmp'.

- **--leave-temporary-files**

  do not delete temporary files

## AUTHOR

Written by Mikolas Janota and Joao Marques Silva

## REPORTING BUGS

Please report any problems with the solver to mikolas@sat.inesc-id.pt

## REFERENCES

\[ES06\] Niklas Een and Niklas Sorensson. Translating Pseudo-Boolean Constraints into SAT. SAT, 2006

\[TZ09\] Ralf Treinen and Stefano Zacchiroli. Common upgradeability description format (CUDF) 2.0. \
        Technical Report 003, MANCOOSI, November 200

## COPYRIGHT NOTICE

(C) 2011 Mikolas Janota

This file is part of packup.

packup is free software: you can redistribute it and/or modify           it under the terms of the GNU General Public License as published by     the Free Software Foundation, either version 3 of the License, or        (at your option) any later version.

packup is distributed in the hope that it will be useful,                but WITHOUT ANY WARRANTY; without even the implied warranty of           MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the            GNU General Public License for more details.

You should have received a copy of the GNU General Public License        along with packup.  If not, see \<http://www.gnu.org/licenses/\>.