minisat_2.2.1-5+b3_amd64.deb


Advertisement

Description

minisat - Fast and lightweight SAT solver

Property Value
Distribution Debian Sid
Repository Debian Main amd64
Package filename minisat_2.2.1-5+b3_amd64.deb
Package name minisat
Package version 2.2.1
Package release 5+b3
Package architecture amd64
Package type deb
Category field::mathematics implemented-in::c++ implemented-in::java role::program science
Homepage http://minisat.se/
License -
Maintainer Michael Tautschnig <mt@debian.org>
Download size 82.91 KB
Installed size 405.00 KB

Alternatives

Package Version Architecture Repository
minisat_2.2.1-5+b3_i386.deb 2.2.1 i386 Debian Main
minisat - - -

Requires

Name Value
libc6 >= 2.4
libgcc1 >= 1:3.0
libstdc++6 >= 5
zlib1g >= 1:1.1.4

Provides

Name Value
minisat2 -

Conflicts

Name Value
minisat2 << 1:2.2.1-1

Replaces

Name Value
minisat2 << 1:2.2.1-1

Download

Type URL
Mirror ftp.br.debian.org
Binary Package minisat_2.2.1-5+b3_amd64.deb
Source Package minisat2

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/include/minisat/core/Dimacs.h
/usr/include/minisat/core/Solver.h
/usr/include/minisat/core/SolverTypes.h
/usr/include/minisat/mtl/Alg.h
/usr/include/minisat/mtl/Alloc.h
/usr/include/minisat/mtl/Heap.h
/usr/include/minisat/mtl/IntTypes.h
/usr/include/minisat/mtl/Map.h
/usr/include/minisat/mtl/Queue.h
/usr/include/minisat/mtl/Sort.h
/usr/include/minisat/mtl/Vec.h
/usr/include/minisat/mtl/XAlloc.h
/usr/include/minisat/simp/SimpSolver.h
/usr/include/minisat/utils/Options.h
/usr/include/minisat/utils/ParseUtils.h
/usr/include/minisat/utils/System.h
/usr/lib/libminisat.a
/usr/lib/libminisat.so
/usr/lib/libminisat.so.2
/usr/lib/libminisat.so.2.1.0
/usr/share/doc-base/minisat-user-guide
/usr/share/doc/minisat/changelog.Debian.amd64.gz
/usr/share/doc/minisat/changelog.Debian.gz
/usr/share/doc/minisat/changelog.gz
/usr/share/doc/minisat/copyright
/usr/share/doc/minisat/minisat-user-guide.html
/usr/share/man/man1/minisat.1.gz

Changelog

2014-07-30 - Michael Tautschnig <mt@debian.org>
minisat2 (1:2.2.1-5) unstable; urgency=low
* Fix C++ syntax to enable Clang builds (closes: #756336)
* Bumped standards version to 3.9.5 (no changes)
2013-07-12 - Michael Tautschnig <mt@debian.org>
minisat2 (1:2.2.1-4) unstable; urgency=low
* Require a non-zero memory limit (closes: #716229)
* Bumped standards version to 3.9.4 (no changes)
* Bumped compatibility level to 9
2011-09-03 - Michael Tautschnig <mt@debian.org>
minisat2 (1:2.2.1-3) unstable; urgency=low
* Updated man page (closes: #638217)
2011-06-13 - Michael Tautschnig <mt@debian.org>
minisat2 (1:2.2.1-2) unstable; urgency=low
* Include headers from simp/ directory in package
* Bumped standards version to 3.9.2 (no changes)
2011-03-29 - Michael Tautschnig <mt@debian.org>
minisat2 (1:2.2.1-1) unstable; urgency=low
* Upload of package with revamped build system to unstable.
* Rename main binary package to minisat, added transitional package.
* Use debhelper 7.
2011-01-20 - Michael Tautschnig <mt@debian.org>
minisat2 (1:2.2.0-3) experimental; urgency=low
* Current upstream git snapshot with fully reworked build system.
- Properly builds shared library (closes: #606846).
- Fixes include hierarchy (closes: #606643).
2010-07-25 - Michael Tautschnig <mt@debian.org>
minisat2 (1:2.2.0-2) unstable; urgency=low
* Fix FTBFS due to undefined _FPU_{EXTENDED,DOUBLE} (closes: #590254).
* Fix FTBFS due to undefined memUsedPeak (closes: #590255).
2010-07-25 - Michael Tautschnig <mt@debian.org>
minisat2 (1:2.2.0-1) unstable; urgency=low
* New upstream version.
- Introduced epoch as new versioning scheme is in use.
- Added Vcs-Git and Vcs-Browser control fields.
- Bumped SO version as all functions have been moved into a namespace.
- Added patch 9bd8749.
* Switch to dpkg-source 3.0 (quilt) format
* Bumped standards version to 3.9.0 (no changes)
2009-12-29 - Michael Tautschnig <mt@debian.org>
minisat2 (070721-8) unstable; urgency=low
* Added Homepage field.
2009-12-29 - Michael Tautschnig <mt@debian.org>
minisat2 (070721-7) unstable; urgency=low
* Bumped standards version to 3.8.3 (no changes).
* Use Copyright instead of (C) in debian/copyright.
* Build dynamic library (thanks Pietro Abate <Pietro.Abate@pps.jussieu.fr>
for ideas and patches). (Closes: #537372)

See Also

Package Description
minissdpd_1.5.20190210-1_amd64.deb keep memory of all UPnP devices that announced themselves
ministat_20150715-1+b1_amd64.deb simple tool for statistical comparison of data sets
minitube_2.9-1_amd64.deb Native YouTube client
miniupnpc_2.1-1+b1_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-8+b1_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_17.08.3-2_all.deb data files for Minuet
minuet_17.08.3-2_amd64.deb KDE Software for Music Education
mipe_1.1-7_all.deb Tools to store PCR-derived data
mira-assembler_4.9.6-4+b1_amd64.deb Whole Genome Shotgun and EST Sequence Assembler
mira-doc_4.9.6-4_all.deb documentation for the mira assembler
Advertisement
Advertisement