libminisat - The library for Boolean satisfiability problem solving

Property Value
Distribution ALT Linux Sisyphus
Repository Classic i586
Package filename libminisat-2.2.0-alt5.i586.rpm
Package name libminisat
Package version 2.2.0
Package release alt5
Package architecture i586
Package type rpm
Category System/Libraries
Homepage -
License -
Maintainer -
Download size 55.10 KB
Installed size 55.10 KB
This package contains libminisat library as Deepsolver engine for SAT solving. You can find
original library at


Package Version Architecture Repository
libminisat-2.2.0-alt5.x86_64.rpm 2.2.0 x86_64 Classic
libminisat - - -


Name Value - - - - - - - - -
rpmlib(PayloadIsLzma) -
rtld(GNU_HASH) -
rtld(GNU_UNIQUE) -


Name Value
libminisat = 2.2.0-alt5 -


Type URL
Binary Package libminisat-2.2.0-alt5.i586.rpm
Source Package libminisat-2.2.0-alt5.src.rpm

Install Howto

  1. Add the following line to /etc/apt/sources.list:
    rpm [Sisyphus] i586 classic
    rpm [Sisyphus] noarch classic
  2. Update the package index:
    # sudo apt-get update
  3. Install libminisat rpm package:
    # sudo apt-get install libminisat




2013-12-05 - Michael Pozhidaev <> 2.2.0-alt5
- Fixed building bug with missed m4 directory
2013-03-01 - Michael Pozhidaev <> 2.2.0-alt4
- Proper collisions support
- Assumptions support is removed
2013-01-19 - Michael Pozhidaev <> 2.2.0-alt3
- Conflicts analyzing is added
2012-12-22 - Michael Pozhidaev <> 2.2.0-alt2
- Variable value assumption support added
2012-10-28 - Michael Pozhidaev <> 2.2.0-alt1
- Initial package

See Also

Package Description
libminisat-devel-2.2.0-alt5.i586.rpm C/C++ development files for libminisat
libminisat-devel-static-2.2.0-alt5.i586.rpm The static library with libminisat functions
libminiupnpc-devel-2.0-alt2.i586.rpm Development files for miniupnpc
libminiupnpc16-2.0-alt2.i586.rpm UPnP client library
libminizip-1.2.11-alt1.i586.rpm Minizip zip file manipulation library
libminizip-devel-1.2.11-alt1.i586.rpm Development files for the minizip librar
libminuetinterfaces0.3.0-19.08.0-alt1.i586.rpm KF5 library
libmirage-devel-3.2.2-alt1.i586.rpm A CD-ROM image access library
libmirage11-3.2.2-alt1.i586.rpm A CD-ROM image access library
libmiredo-1.2.6-alt1.i586.rpm shared libraries for Miredo client
libmiredo-devel-1.2.6-alt1.i586.rpm development files for Miredo client shared libraries
libmiredo-devel-static-1.2.6-alt1.i586.rpm Miredo client static libraries
libmirisdr-0.0.20130608-alt1_5.i586.rpm Support programs for MRi2500
libmirisdr-devel-0.0.20130608-alt1_5.i586.rpm Development files for mirisdr
libmirisdr0-0.0.20130608-alt1_5.i586.rpm SDR driver for MRi2500