How To Install Packup?

How To Install Packup?

packup

CUDF solver based on pseudo-Boolean constraints

Maintainer: Ralf Treinen


Section: admin

Install packup

  • Debian apt-get install packup Click to copy
  • Ubuntu apt-get install packup Click to copy
  • Kali Linux apt-get install packup Click to copy
  • Raspbian apt-get install packup Click to copy

packup

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.

Installation of latest packup command is available for Debian, Ubuntu, Kali and Raspbian. You can copy the command for your OS from above and paste it into your terminal. Once you run the command it will download the 2026 latest package from the repository and install it in your computer/server.