Debian logoDebian Screenshots >

minisat+

solver for pseudo-Boolean constraints

Description

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.

Upload more screenshots

Please help extend the collection of screenshots. Just make a screenshot and upload it here. You don't need to register or anything.


Homepage

http://minisat.se/MiniSat+.html


Statistics

62 other people were interested in this package here. The newest known version of this software is 1.0-2 (Information last updated 5 days ago.)