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.



--
To UNSUBSCRIBE, email to debian-devel-REQUEST@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmaster@lists.debian.org
Archive: 20110526002208.11292.71577.reportbug@seneca.free.f r">http://lists.debian.org/20110526002208.11292.71577.reportbug@seneca.free.f r