Package: packup
Version: 0.6-3
Architecture: amd64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Ralf Treinen <treinen@debian.org>
Installed-Size: 260
Depends: libc6 (>= 2.14), libgcc1 (>= 1:3.0), libgmp10, libgmpxx4ldbl, libstdc++6 (>= 5.2), zlib1g (>= 1:1.1.4), minisat+
Provides: cudf-solver
Section: admin
Priority: extra
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.
