libpolybori-0_8-3-0.8.3-2.56.i586.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 i586
Package type rpm
Installed size 3.88 MB
Download size 640.71 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.x86_64.rpm 0.8.3 x86_64 Science
libpolybori-0_8-3 - - -

Requires

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

Provides

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

Download

Type URL
Binary Package libpolybori-0_8-3-0.8.3-2.56.i586.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/lib/libpolybori-0.8.so.3
/usr/lib/libpolybori-0.8.so.3.0.0
/usr/lib/libpolybori_groebner-0.8.so.3
/usr/lib/libpolybori_groebner-0.8.so.3.0.0

Changelog

See polybori-0.8.3-2.56.i586.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-gnu-mvapich2-hpc-devel-6.0.6-2.1.i586.rpm Dependency package for libptscotch_6_0_6-gnu-mvapich2-hpc
libptscotch-gnu-mvapich2-hpc-devel-6.0.6-2.1.x86_64.rpm Dependency package for libptscotch_6_0_6-gnu-mvapich2-hpc
libptscotch-gnu-mvapich2-hpc-devel-static-6.0.6-2.1.i586.rpm Dependency package for libptscotch_6_0_6-gnu-mvapich2-hpc
Advertisement
Advertisement