Bug#627973: ITP: packup -- CUDF solver based on pseudo-Boolean constraints

[Ralf Treinen <treinen@debian.org>]

Package: wnpp
Severity: wishlist
Owner: Ralf Treinen <treinen@debian.org>

* Package name    : packup
  Version         : 0.5
  Upstream Author : Mikoláš Janota, Joao Marques-Silva, Inês Lynce, and Vasco Manquinho
* URL             : http://sat.inesc-id.pt/~mikolas/sw/packup/
* License         : GPL3+
  Programming Lang: C++
  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.

-Ralf.