Package: packup
Version: 0.6-3.2
Architecture: amd64
Architecture-Variant: amd64v3
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Ralf Treinen <treinen@debian.org>
Installed-Size: 241
Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libgmp10 (>= 2:6.3.0+dfsg), libgmpxx4ldbl (>= 2:6.3.0+dfsg), libstdc++6 (>= 13.1), zlib1g (>= 1:1.1.4), minisat+
Provides: cudf-solver
Section: admin
Priority: optional
Homepage: https://sat.inesc-id.pt/~mikolas/sw/packup/
Description: 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.
