Source: packup
Section: admin
Priority: extra
Maintainer: Ralf Treinen <treinen@debian.org>
Build-Depends: debhelper (>= 9), libgmp-dev, zlib1g-dev
Standards-Version: 3.9.4
Vcs-Git: git://git.debian.org/git/collab-maint/packup.git
Vcs-Browser: http://git.debian.org/?p=collab-maint/packup.git;a=summary
Homepage: http://sat.inesc-id.pt/~mikolas/sw/packup/

Package: packup
Architecture: any
Depends: ${misc:Depends}, ${shlibs:Depends}, minisat+
Provides: cudf-solver
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.
