libminisat-2.2.0-alt5.x86_64.rpm


Advertisement

Description

libminisat - The library for Boolean satisfiability problem solving

Property Value
Distribution ALT Linux Sisyphus
Repository Classic x86_64
Package name libminisat
Package version 2.2.0
Package release alt5
Package architecture x86_64
Package type rpm
Installed size 56.11 KB
Download size 56.11 KB
Official Mirror ftp.altlinux.org
This package contains libminisat library as Deepsolver engine for SAT solving. You can find
original library at http://minisat.se.

Alternatives

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

Requires

Name Value
libc.so.6(GLIBC_2.2.5)(64bit) -
libc.so.6(GLIBC_2.3.4)(64bit) -
libc.so.6(GLIBC_2.4)(64bit) -
libgcc_s.so.1(GCC_3.0)(64bit) -
libm.so.6(GLIBC_2.2.5)(64bit) -
libstdc++.so.6(CXXABI_1.3)(64bit) -
libstdc++.so.6(GLIBCXX_3.4)(64bit) -
rpmlib(PayloadIsLzma) -
rtld(GNU_HASH) -
rtld(GNU_UNIQUE) -

Provides

Name Value
libminisat = 2.2.0-alt5
libminisat-0.so.0()(64bit) -

Download

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

Install Howto

  1. Add the following line to /etc/apt/sources.list:
    
    rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/Sisyphus x86_64 classic
    rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/Sisyphus noarch classic
    
  2. Update the package index:
    # sudo apt-get update
  3. Install libminisat rpm package:
    # sudo apt-get install libminisat

Files

Path
/usr/lib64/libminisat-0.so.0
/usr/lib64/libminisat-0.so.0.0.0
/usr/share/doc/libminisat-2.2.0/AUTHORS
/usr/share/doc/libminisat-2.2.0/COPYING
/usr/share/doc/libminisat-2.2.0/README

Changelog

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

See Also

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