Filewatcher File Search File Search
Catalog
Content Search
» » » » »

minisat+

solver for pseudo-Boolean constraints

Variants:
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.
Homepage:
Package version:1.0-2
Architecture:i386
Distribution:Debian
Filename:minisat+_1.0-2_i386.deb

/usr/share/man/man1/minisat+.1.gz

MINISAT+(1)                                              MINISAT+(1)



NAME
       minisat+ - A Solver for Pseudo-Boolean Constraints


SYNOPSIS
       minisat+ <input-file> [<result-file>] [<option> ...]


DESCRIPTION
       MiniSat+ is a solver for Pseudo-Boolean constraints, based on
       MiniSat.

       Pseudo-Boolean constraints can be used  to  describe  certain
       kinds  of  combina
more»

/usr/share/doc/minisat+/changelog.Debian.gz

minisat+ (1.0-2) unstable; urgency=low

  * Patch exitcode: non-null exit code on parse error.

 -- Ralf Treinen <treinen@debian.org>  Tue, 24 May 2011 20:42:23 +0200

minisat+ (1.0-1) unstable; urgency=low

  * Initial package (closes: Bug#626410)

 -- Ralf Treinen <treinen@debian.org>  Thu, 12 May 2011 22:13:24 +0200


/usr/share/doc/minisat+/copyright

Upstream-Name: copyright
Upstream-Contact: Niklas Sorensson <nik@chalmers.se>
Source: http://minisat.se/downloads/minisatp-1.0.tar.gz
Copyright: 2005-2010 Niklas Eén and Niklas Sörensson
Licence: MIT 
 Permission is hereby granted, free of charge, to any person obtaining
 a copy of this software and associated documentation files (the
 "Software"), to deal in the Software without restriction, in
more»

Browse inside minisat+_1.0-2_i386.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (2)  65535+ mirrors

Download minisat+_1.0-2_i386.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com