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-11-2011, 06:52 PM
Ralf Treinen
Default Bug#626410: ITP: minisat+ -- solver for pseudo-Boolean constraints

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

* Package name : minisat+
Version : 1.0-1
Upstream Author : Niklas Eén and Niklas Sörensson
* URL : http://minisat.se/MiniSat+.html
* License : MIT/X
Programming Lang: C++
Description : solver for pseudo-Boolean constraints

MinSat+ is a solver for Pseudo-Boolean Optimization (AKA 0-1
integer programming) that is based on the MiniSat SAT-solver. It
supports optimizing a linear objective function, subject to a set
of linear constraints. The variables of the objective function
and constraints are boolean, i.e. required to be 0 or
1. Pseudo-Boolean optimization can be used to solve many kinds of
combinatorial optimization problems. This version of Minisat+ is
compiled with bignum support for constraint coefficients.


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

Thread Tools

All times are GMT. The time now is 05:07 PM.

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