minisat+_1.0-4_amd64.deb


Advertisement

Description

minisat+ - solver for pseudo-Boolean constraints

Property Value
Distribution Ubuntu 19.04 (Disco Dingo)
Repository Ubuntu Universe amd64
Package filename minisat+_1.0-4_amd64.deb
Package name minisat+
Package version 1.0
Package release 4
Package architecture amd64
Package type deb
Category universe/science
Homepage http://minisat.se/MiniSat+.html
License -
Maintainer Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Download size 154.93 KB
Installed size 400.00 KB
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.

Alternatives

Package Version Architecture Repository
minisat+_1.0-4_i386.deb 1.0 i386 Ubuntu Universe
minisat+ - - -

Requires

Name Value
libc6 >= 2.14
libgcc1 >= 1:3.0
libgmp10 -
libstdc++6 >= 5

Download

Type URL
Mirror archive.ubuntu.com
Binary Package minisat+_1.0-4_amd64.deb
Source Package minisat+

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install minisat+ deb package:
    # sudo apt-get install minisat+

Files

Path
/usr/bin/minisat+
/usr/share/doc/minisat+/changelog.Debian.gz
/usr/share/doc/minisat+/copyright
/usr/share/doc/minisat+/examples/garden9x9.opb
/usr/share/doc/minisat+/examples/stein27_bignum.opb.gz
/usr/share/doc/minisat+/examples/unsat.opb
/usr/share/man/man1/minisat+.1.gz

Changelog

2017-02-19 - Ralf Treinen <treinen@debian.org>
minisat+ (1.0-4) unstable; urgency=medium
* debian/tests/control: add Depends: @ for test "upstream".
2016-12-19 - Ralf Treinen <treinen@debian.org>
minisat+ (1.0-3) unstable; urgency=medium
* debian/copyright: machine-readable format 1.0
* Standards-version 3.9.8 (no change)
* Debhelper compatibility level 10:
- bump debian/compat
- bump build-dependency on debhelper
* Vcs-{Git,Browser}: secure URI
* patch spelling: fix typo in help text
* add as-installed package test
2011-05-24 - Ralf Treinen <treinen@debian.org>
minisat+ (1.0-2) unstable; urgency=low
* Patch exitcode: non-null exit code on parse error.
2011-05-12 - Ralf Treinen <treinen@debian.org>
minisat+ (1.0-1) unstable; urgency=low
* Initial package (closes: Bug#626410)

See Also

Package Description
minisat2_2.2.1-5build1_amd64.deb Transitional package for minisat
minisat_2.2.1-5build1_amd64.deb Fast and lightweight SAT solver
minissdpd_1.5.20190210-1_amd64.deb keep memory of all UPnP devices that announced themselves
ministat_20150715-1build1_amd64.deb simple tool for statistical comparison of data sets
minitube_2.9-1_amd64.deb Native YouTube client
miniupnpc_2.1-1build1_amd64.deb UPnP IGD client lightweight library client
miniupnpd_2.1-5_amd64.deb UPnP and NAT-PMP daemon for gateway routers
minizinc-ide_2.1.7-1_amd64.deb MiniZinc constraint modelling language IDE
minizinc_2.1.7+dfsg1-1_amd64.deb constraint modelling language and tool chain
minizip_1.1-8build1_amd64.deb compression library - minizip tools
minlog_4.0.99.20100221-6_all.deb Proof assistant based on first order natural deduction calculus
minpack-dev_19961126+dfsg1-5_amd64.deb nonlinear equations and nonlinear least squares static library
minuet-data_18.12.3-0ubuntu1_all.deb data files for Minuet
minuet-dev_18.12.3-0ubuntu1_amd64.deb KDE Software for Music Education
minuet_18.12.3-0ubuntu1_amd64.deb KDE Software for Music Education
Advertisement
Advertisement