Source: packup
Section: admin
Priority: extra
Maintainer: Ralf Treinen <treinen@debian.org>
Build-Depends: debhelper (>= 8), libgmp-dev, zlib1g-dev
Standards-Version: 3.9.2
Vcs-Svn: https://gforge.info.ucl.ac.be/svn/mancoosi/trunk/updb/debian-packages/packup/trunk
Vcs-Browser: https://gforge.info.ucl.ac.be/svn/mancoosi/trunk/updb/debian-packages/packup/trunk
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.
