minisat+ binary package in Ubuntu Focal ppc64el
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.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2020-03-23 06:43:14 UTC | Published | Ubuntu Focal ppc64el | release | universe | science | Extra | 1.0-4build1 | ||
|
|||||||||
Deleted | Ubuntu Focal ppc64el | proposed | universe | science | Extra | 1.0-4build1 | |||
|
|||||||||
2020-03-23 06:43:27 UTC | Superseded | Ubuntu Focal ppc64el | release | universe | science | Extra | 1.0-4 | ||
|