Ubuntu
minisat+ package

minisat+ 1.0-4build1 source package in Ubuntu

Changelog

minisat+ (1.0-4build1) focal; urgency=medium

  * No-change rebuild for libgcc-s1 package name change.

 -- Matthias Klose <email address hidden>  Sun, 22 Mar 2020 16:49:51 +0100

Upload details

Uploaded by:
Matthias Klose
Uploaded to:
Focal
Original maintainer:
Debian Science Team
Architectures:
any
Section:
science
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Oracular release universe science
Noble release universe science
Mantic release universe science
Lunar release universe science
Jammy release universe science
Focal release universe science

Downloads

File Size SHA-256 Checksum
minisat+_1.0.orig.tar.gz 78.1 KiB f81e8dd76de9d2219e4b555f65354be2f8582f4575b5cc5b5bf34b71f1bd7f4b
minisat+_1.0-4build1.debian.tar.xz 4.2 KiB 0e2931f36237e1d78b815c6b0afa5e3db8ad13dc2a72bb9a5fe7b163e6f50d69
minisat+_1.0-4build1.dsc 2.0 KiB 7d7a1354ae8a8e0ccfd673e68b1fdd421194faf7ff96aaa8fe4329ddeba5ed0a

Available diffs

View changes file

Binary packages built by this source

minisat+: 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.

minisat+-dbgsym: debug symbols for minisat+