polybori-devel-0.8.3-2.56.i586.rpm


Advertisement

Description

polybori-devel - Development files for polybori, a CAS for Boolean Polynomials

Property Value
Distribution openSUSE Tumbleweed
Repository Science all
Package name polybori-devel
Package version 0.8.3
Package release 2.56
Package architecture i586
Package type rpm
Installed size 755.59 KB
Download size 143.95 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.
This subpackage contains the include files and library links for
developing against polybori's libraries.

Alternatives

Package Version Architecture Repository
polybori-devel-0.8.3-2.56.x86_64.rpm 0.8.3 x86_64 Science
polybori-devel - - -

Requires

Name Value
boost devel
libpolybori-0_8-3 = 0.8.3

Provides

Name Value
polybori-devel = 0.8.3-2.56
polybori-devel(x86-32) = 0.8.3-2.56

Download

Type URL
Binary Package polybori-devel-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 polybori-devel rpm package:
    # zypper install polybori-devel

Files

Path
/usr/include/polybori.h
/usr/include/polybori/BlockDegLexOrder.h
/usr/include/polybori/BlockDegRevLexAscOrder.h
/usr/include/polybori/BooleConstant.h
/usr/include/polybori/BooleEnv.h
/usr/include/polybori/BooleExponent.h
/usr/include/polybori/BooleMonomial.h
/usr/include/polybori/BoolePolyRing.h
/usr/include/polybori/BoolePolynomial.h
/usr/include/polybori/BooleSet.h
/usr/include/polybori/BooleSetSequence.h
/usr/include/polybori/BooleVariable.h
/usr/include/polybori/DegLexOrder.h
/usr/include/polybori/DegRevLexAscOrder.h
/usr/include/polybori/LexOrder.h
/usr/include/polybori/config.h
/usr/include/polybori/embed.h
/usr/include/polybori/pbori_defs.h
/usr/include/polybori/polybori.h
/usr/include/polybori/cache/CCacheManagement.h
/usr/include/polybori/cache/CDegreeCache.h
/usr/include/polybori/cache/CacheManager.h
/usr/include/polybori/common/CCheckedIdx.h
/usr/include/polybori/common/CExtrusivePtr.h
/usr/include/polybori/common/CWeakPtr.h
/usr/include/polybori/common/CWeakPtrFacade.h
/usr/include/polybori/common/TransformedSequence.h
/usr/include/polybori/common/tags.h
/usr/include/polybori/common/traits.h
/usr/include/polybori/cudd/cudd.h
/usr/include/polybori/cudd/cuddInt.h
/usr/include/polybori/cudd/prefix.h
/usr/include/polybori/cudd/prefix_internal.h
/usr/include/polybori/cudd/util.h
/usr/include/polybori/diagram/CApplyNodeFacade.h
/usr/include/polybori/diagram/CCuddDDFacade.h
/usr/include/polybori/diagram/CDDOperations.h
/usr/include/polybori/diagram/CNodeCounter.h
/usr/include/polybori/except/CErrorInfo.h
/usr/include/polybori/except/PBoRiError.h
/usr/include/polybori/except/PBoRiGenericError.h
/usr/include/polybori/factories/CFactoryBase.h
/usr/include/polybori/factories/MonomialFactory.h
/usr/include/polybori/factories/PolynomialFactory.h
/usr/include/polybori/factories/SetFactory.h
/usr/include/polybori/factories/VariableBlock.h
/usr/include/polybori/factories/VariableFactory.h
/usr/include/polybori/groebner/BitMask.h
/usr/include/polybori/groebner/BlockOrderHelper.h
/usr/include/polybori/groebner/BoundedDivisorsOf.h
/usr/include/polybori/groebner/ChainCriterion.h
/usr/include/polybori/groebner/ChainVariableCriterion.h
/usr/include/polybori/groebner/CheckChainCriterion.h
/usr/include/polybori/groebner/CountCriterion.h
/usr/include/polybori/groebner/DegOrderHelper.h
/usr/include/polybori/groebner/ExpGreater.h
/usr/include/polybori/groebner/ExpLexLess.h
/usr/include/polybori/groebner/FGLMStrategy.h
/usr/include/polybori/groebner/GetNthPoly.h
/usr/include/polybori/groebner/GroebnerOptions.h
/usr/include/polybori/groebner/GroebnerStrategy.h
/usr/include/polybori/groebner/HasTRepOrExtendedProductCriterion.h
/usr/include/polybori/groebner/IJPairData.h
/usr/include/polybori/groebner/IsEcart0Predicate.h
/usr/include/polybori/groebner/IsVariableOfIndex.h
/usr/include/polybori/groebner/LLReduction.h
/usr/include/polybori/groebner/LLReductor.h
/usr/include/polybori/groebner/LMLessCompare.h
/usr/include/polybori/groebner/LMLessComparePS.h
/usr/include/polybori/groebner/LargerDegreeComparer.h
/usr/include/polybori/groebner/LeadingTerms.h
/usr/include/polybori/groebner/LeadingTerms00.h
/usr/include/polybori/groebner/LeadingTerms11.h
/usr/include/polybori/groebner/LessCombinedManySizesInStrat.h
/usr/include/polybori/groebner/LessEcartThenLessWeightedLengthInStrat.h
/usr/include/polybori/groebner/LessUsedTailVariablesThenLessWeightedLengthInStrat.h
/usr/include/polybori/groebner/LessWeightedLengthInStrat.h
/usr/include/polybori/groebner/LessWeightedLengthInStratModified.h
/usr/include/polybori/groebner/LexBucket.h
/usr/include/polybori/groebner/LexHelper.h
/usr/include/polybori/groebner/LexOrderGreaterComparer.h
/usr/include/polybori/groebner/LiteralFactorization.h
/usr/include/polybori/groebner/LiteralFactorizationIterator.h
/usr/include/polybori/groebner/Long64From32BitsPair.h
/usr/include/polybori/groebner/MatrixMonomialOrderTables.h
/usr/include/polybori/groebner/MinimalLeadingTerms.h
/usr/include/polybori/groebner/MonomialHasher.h
/usr/include/polybori/groebner/MonomialPlusOneTerms.h
/usr/include/polybori/groebner/MonomialTerms.h
/usr/include/polybori/groebner/NBitsUsed.h
/usr/include/polybori/groebner/NextSpoly.h
/usr/include/polybori/groebner/PSCompareByEl.h
/usr/include/polybori/groebner/PairData.h
/usr/include/polybori/groebner/PairE.h
/usr/include/polybori/groebner/PairECompare.h
/usr/include/polybori/groebner/PairLS.h
/usr/include/polybori/groebner/PairLSCompare.h
/usr/include/polybori/groebner/PairManager.h
/usr/include/polybori/groebner/PairManagerFacade.h
/usr/include/polybori/groebner/PairStatusSet.h
/usr/include/polybori/groebner/PolyEntry.h
/usr/include/polybori/groebner/PolyEntryBase.h
/usr/include/polybori/groebner/PolyEntryIndices.h
/usr/include/polybori/groebner/PolyEntryPtrLmLess.h
/usr/include/polybori/groebner/PolyEntryReference.h
/usr/include/polybori/groebner/PolyEntryVector.h
/usr/include/polybori/groebner/PolyFromPolyEntry.h
/usr/include/polybori/groebner/PolyMonomialPairComparerLess.h
/usr/include/polybori/groebner/PolyMonomialPairComparerLexLess.h
/usr/include/polybori/groebner/PolyPairData.h
/usr/include/polybori/groebner/PolynomialSugar.h
/usr/include/polybori/groebner/PseudoLongLong.h
/usr/include/polybori/groebner/PseudoLongProduct.h
/usr/include/polybori/groebner/RankingVector.h
/usr/include/polybori/groebner/RedTailNth.h
/usr/include/polybori/groebner/ReductionOptions.h
/usr/include/polybori/groebner/ReductionStrategy.h
/usr/include/polybori/groebner/ReductionTerms.h
/usr/include/polybori/groebner/RelatedTerms.h
/usr/include/polybori/groebner/RelatedTermsBase.h
/usr/include/polybori/groebner/SetAssociatedMinimal.h
/usr/include/polybori/groebner/SetBitUInt.h
/usr/include/polybori/groebner/ShorterEliminationLength.h
/usr/include/polybori/groebner/ShorterEliminationLengthModified.h
/usr/include/polybori/groebner/SlimgbReduction.h
/usr/include/polybori/groebner/TermsFacade.h
/usr/include/polybori/groebner/TimesConstantImplication.h
/usr/include/polybori/groebner/TimesVariableSubstitution.h
/usr/include/polybori/groebner/VariablePairData.h
/usr/include/polybori/groebner/ZeroFunction.h
/usr/include/polybori/groebner/add_up.h
/usr/include/polybori/groebner/cache_manager.h
/usr/include/polybori/groebner/contained_variables.h
/usr/include/polybori/groebner/dlex4data.h
/usr/include/polybori/groebner/dp_asc4data.h
/usr/include/polybori/groebner/draw_matrix.h
/usr/include/polybori/groebner/fixed_path_divisors.h
/usr/include/polybori/groebner/groebner.h
/usr/include/polybori/groebner/groebner_alg.h
/usr/include/polybori/groebner/groebner_defs.h
/usr/include/polybori/groebner/interpolate.h
/usr/include/polybori/groebner/linear_algebra_step.h
/usr/include/polybori/groebner/ll_red_nf.h
/usr/include/polybori/groebner/lp4data.h
/usr/include/polybori/groebner/minimal_elements.h
/usr/include/polybori/groebner/nf.h
/usr/include/polybori/groebner/pairs.h
/usr/include/polybori/groebner/polynomial_properties.h
/usr/include/polybori/groebner/randomset.h
/usr/include/polybori/groebner/red_tail.h
/usr/include/polybori/groebner/tables.h
/usr/include/polybori/iterators/CBidirectTermIter.h
/usr/include/polybori/iterators/CCuddFirstIter.h
/usr/include/polybori/iterators/CCuddLastIter.h
/usr/include/polybori/iterators/CCuddNavigator.h
/usr/include/polybori/iterators/CExpIter.h
/usr/include/polybori/iterators/CGenericIter.h
/usr/include/polybori/iterators/COrderedIter.h
/usr/include/polybori/iterators/CStackSelector.h
/usr/include/polybori/iterators/CTermGenerator.h
/usr/include/polybori/iterators/CTermIter.h
/usr/include/polybori/iterators/CTermStack.h
/usr/include/polybori/iterators/CVariableIter.h
/usr/include/polybori/iterators/PBoRiOutIter.h
/usr/include/polybori/iterators/TransformedIterator.h
/usr/include/polybori/literals/CLiteralCodes.h
/usr/include/polybori/literals/CStringLiteral.h
/usr/include/polybori/orderings/CBlockOrderingFacade.h
/usr/include/polybori/orderings/COrderingBase.h
/usr/include/polybori/orderings/COrderingFacade.h
/usr/include/polybori/orderings/COrderingTags.h
/usr/include/polybori/orderings/order_tags.h
/usr/include/polybori/orderings/order_traits.h
/usr/include/polybori/orderings/pbori_order.h
/usr/include/polybori/ring/CCallbackWrapper.h
/usr/include/polybori/ring/CCuddCore.h
/usr/include/polybori/ring/CCuddInterface.h
/usr/include/polybori/ring/CMemberFunctionTraits.h
/usr/include/polybori/ring/CVariableNames.h
/usr/include/polybori/ring/WeakRingPtr.h
/usr/include/polybori/routines/pbori_algo.h
/usr/include/polybori/routines/pbori_algo_int.h
/usr/include/polybori/routines/pbori_algorithms.h
/usr/include/polybori/routines/pbori_func.h
/usr/include/polybori/routines/pbori_routines.h
/usr/include/polybori/routines/pbori_routines_cuddext.h
/usr/include/polybori/routines/pbori_routines_dd.h
/usr/include/polybori/routines/pbori_routines_hash.h
/usr/include/polybori/routines/pbori_routines_misc.h
/usr/include/polybori/routines/pbori_routines_order.h
/usr/lib/libpolybori-0.8.so
/usr/lib/libpolybori.so
/usr/lib/libpolybori_groebner-0.8.so
/usr/lib/libpolybori_groebner.so

Changelog

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

See Also

Package Description
polybori-gui-0.8.3-2.56.i586.rpm The Polybori Qt GUI
polybori-gui-0.8.3-2.56.x86_64.rpm The Polybori Qt GUI
ppl-1.2-1.30.i586.rpm The Parma Polyhedra Library
ppl-1.2-1.30.x86_64.rpm The Parma Polyhedra Library
ppl-devel-1.2-1.30.i586.rpm Development tools for the Parma Polyhedra Library C and C++ interfaces
ppl-devel-1.2-1.30.x86_64.rpm Development tools for the Parma Polyhedra Library C and C++ interfaces
ppl-devel-32bit-1.2-1.30.x86_64.rpm Development tools for the Parma Polyhedra Library C and C++ interfaces
ppl-devel-static-1.2-1.30.i586.rpm Static libraries for the Parma Polyhedra Library C and C++ interfaces
ppl-devel-static-1.2-1.30.x86_64.rpm Static libraries for the Parma Polyhedra Library C and C++ interfaces
ppl-doc-1.2-1.30.noarch.rpm Documentation for the Parma Polyhedra Library
praat-6.0.46-37.1.i586.rpm Phonetics by computer
praat-6.0.46-37.1.x86_64.rpm Phonetics by computer
prank-100802-1.25.i586.rpm Probabilistic Alignment Kit
prank-100802-1.25.x86_64.rpm Probabilistic Alignment Kit
primme-devel-1.1-1.85.i586.rpm Development and header files for primme
Advertisement
Advertisement