libpolybori-0.8-3 - polynomials over Boolean Rings, shared library

Property Value
Distribution Debian 8 (Jessie)
Repository Debian Main i386
Package name libpolybori-0.8-3
Package version 0.8.3
Package release 3+b2
Package architecture i386
Package type deb
Installed size 514 B
Download size 158.81 KB
Official Mirror
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. On top of this C++-library a Python interface
is provided. This allows parsing of complex polynomial systems, as well
as sophisticated and extendable strategies for Groebner base
computation. PolyBoRi features a powerful reference implementation
for Groebner basis computation.
This package contains the PolyBoRi shared library libpolybori.


Package Version Architecture Repository
libpolybori-0.8-3_0.8.3-3+b2_amd64.deb 0.8.3 amd64 Debian Main
libpolybori-0.8-3 - - -


Name Value
libc6 >= 2.4
libgcc1 >= 1:4.1.1
libstdc++6 >= 4.4.0
multiarch-support -


Type URL
Binary Package libpolybori-0.8-3_0.8.3-3+b2_i386.deb
Source Package polybori

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install libpolybori-0.8-3 deb package:
    # sudo apt-get install libpolybori-0.8-3




See polybori_0.8.3-3+b2_i386.deb changelog.

See Also

Package Description
libpolybori-dev_0.8.3-3+b2_i386.deb polynomials over Boolean Rings, core development files
libpolybori-groebner-0.8-3_0.8.3-3+b2_i386.deb computer algebra routines of PolyBoRi
libpolybori-groebner-dev_0.8.3-3+b2_i386.deb development files for libpolybori-groebner
libpolyclipping-dev_6.1.3a-2_i386.deb polygon clipping, polygon offsetting and polyline offsetting library
libpolyclipping16_6.1.3a-2_i386.deb polygon clipping, polygon offsetting and polyline offsetting library
libpolyglot-maven-java-doc_0.8~tobrien+git20120905-3_all.deb modules to enable Maven usage in others JVM languages - docs
libpolyglot-maven-java_0.8~tobrien+git20120905-3_all.deb modules to enable Maven usage in others JVM languages
libpolylib64-8_5.22.5-3+dfsg_i386.deb Polyhedral library - long int version
libpolylib64-dev_5.22.5-3+dfsg_i386.deb Development files for the long int version of PolyLib
libpolyml-dev_5.2.1-1.1_i386.deb development files for Poly/ML, a compiler for the Standard ML
libpolyml1_5.2.1-1.1_i386.deb runtime files for Poly/ML, a compiler for the Standard ML
libpolyorb3-dev_2.11~20140418-3_i386.deb Multiple-personality middleware for Ada (development)
libpolyorb4_2.11~20140418-3_i386.deb Multiple-personality middleware for Ada
libpomegranate-clojure_0.2.0-1_all.deb dependency resolution and repository handling library for Clojure
libpomp-dev_1.1+dfsg-3_i386.deb OpenMP Pragma And Region Instrumentor - development files