libpolybori-0_8-3-0.8.3-2.56.x86_64.rpm


Advertisement

Description

libpolybori-0_8-3 - The Polynomials over Boolean Rings Computer Algebra System library

Property Value
Distribution openSUSE Tumbleweed
Repository Science all
Package name libpolybori-0_8-3
Package version 0.8.3
Package release 2.56
Package architecture x86_64
Package type rpm
Installed size 3.85 MB
Download size 604.24 KB
Official Mirror widehat.opensuse.org
The core of PolyBoRi is a C++ library, which provides high-level data
types for Boolean polynomials and monomials, exponent vectors, as
well as for the underlying polynomial rings and subsets of the
powerset of the Boolean variables. As a unique approach, binary
decision diagrams are used as internal storage type for polynomial
structures.

Alternatives

Package Version Architecture Repository
libpolybori-0_8-3-0.8.3-2.56.i586.rpm 0.8.3 i586 Science
libpolybori-0_8-3 - - -

Requires

Name Value
/sbin/ldconfig -
libc.so.6(GLIBC_2.14)(64bit) -
libgcc_s.so.1()(64bit) -
libgcc_s.so.1(GCC_3.0)(64bit) -
libm.so.6()(64bit) -
libm.so.6(GLIBC_2.2.5)(64bit) -
libm4ri 0.0.20140914.so()(64bit)
libstdc++.so.6()(64bit) -
libstdc++.so.6(CXXABI_1.3)(64bit) -
libstdc++.so.6(GLIBCXX_3.4)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.10)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.11)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.21)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.9)(64bit) -

Provides

Name Value
libpolybori 0.8.so.3()(64bit)
libpolybori-0_8-3 = 0.8.3-2.56
libpolybori-0_8-3(x86-64) = 0.8.3-2.56
libpolybori_groebner 0.8.so.3()(64bit)

Download

Type URL
Binary Package libpolybori-0_8-3-0.8.3-2.56.x86_64.rpm
Source Package polybori-0.8.3-2.56.src.rpm

Install Howto

  1. Add the Science repository:
    # zypper addrepo http://widehat.opensuse.org/opensuse/repositories/science/openSUSE_Tumbleweed/ science
  2. Install libpolybori-0_8-3 rpm package:
    # zypper install libpolybori-0_8-3

Files

Path
/usr/lib64/libpolybori-0.8.so.3
/usr/lib64/libpolybori-0.8.so.3.0.0
/usr/lib64/libpolybori_groebner-0.8.so.3
/usr/lib64/libpolybori_groebner-0.8.so.3.0.0

Changelog

See polybori-0.8.3-2.56.x86_64.rpm changelog.

See Also

Package Description
libppl14-1.2-1.30.i586.rpm Shared library for the Parma Polyhedra Library
libppl14-1.2-1.30.x86_64.rpm Shared library for the Parma Polyhedra Library
libppl14-32bit-1.2-1.30.x86_64.rpm Shared library for the Parma Polyhedra Library
libppl_c4-1.2-1.30.i586.rpm Shared library for the Parma Polyhedra Library C bindings
libppl_c4-1.2-1.30.x86_64.rpm Shared library for the Parma Polyhedra Library C bindings
libppl_c4-32bit-1.2-1.30.x86_64.rpm Shared library for the Parma Polyhedra Library C bindings
libprimme1-1.1-1.85.i586.rpm A PReconditioned Iterative MultiMethod Eigensolver
libprimme1-1.1-1.85.x86_64.rpm A PReconditioned Iterative MultiMethod Eigensolver
libprimme1-openmpi-1.1-1.85.i586.rpm A PReconditioned Iterative MultiMethod Eigensolver
libprimme1-openmpi-1.1-1.85.x86_64.rpm A PReconditioned Iterative MultiMethod Eigensolver
libpsurface0-2.0.0-3.9.i586.rpm A C++ library that handles piecewise linear bijections between surfaces
libpsurface0-2.0.0-3.9.x86_64.rpm A C++ library that handles piecewise linear bijections between surfaces
libptscotch-openmpi-devel-6.0.6-1.2.i586.rpm Development libraries for scotch
libptscotch-openmpi-devel-6.0.6-1.2.x86_64.rpm Development libraries for scotch
libptscotch-openmpi-devel-static-6.0.6-1.2.i586.rpm Development libraries for scotch
Advertisement
Advertisement