Package: wnpp Severity: wishlist Owner: Ralf Treinen <trei...@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-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org Archive: http://lists.debian.org/20110526002208.11292.71577.report...@seneca.free.fr
