FAQ Search Today's Posts Mark Forums Read
» Video Reviews

» Linux Archive

Linux-archive is a website aiming to archive linux email lists and to make them easily accessible for linux users/developers.


» Sponsor

» Partners

» Sponsor

Go Back   Linux Archive > Debian > Debian Development

 
 
LinkBack Thread Tools
 
Old 05-26-2011, 12:22 AM
Ralf Treinen
 
Default Bug#627973: ITP: packup -- CUDF solver based on pseudo-Boolean constraints

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
 

Thread Tools




All times are GMT. The time now is 10:13 PM.

VBulletin, Copyright ©2000 - 2014, Jelsoft Enterprises Ltd.
Content Relevant URLs by vBSEO ©2007, Crawlability, Inc.
Copyright 2007 - 2008, www.linux-archive.org