solver for pseudo-Boolean constraints
DescriptionMinSat+ 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.
821 other people were interested in this package here. The newest known version of this software is 1.0-4 (Information last updated about 3 hours ago.)
Upload new screenshots
Thanks for uploading more screenshots. Please note:
- Your screenshot should contain a typical scene when working with it.
- Your screenshots must be in PNG format.
- You can upload multiple images at once.
- Screenshots are made public and can freely be used by anyone.