packup 0.6-3build1 (amd64 binary) in ubuntu focal
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.
Details
- Package version:
- 0.6-3build1
- Status:
- Published
- Component:
- universe
- Priority:
- Extra
Downloadable files
amd64 build of packup 0.6-3build1 in ubuntu focal PROPOSED produced
these files:
- packup_0.6-3build1_amd64.deb (87.6 KiB)
Package relationships
- Provides:
- cudf-solver