| Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
| Name: brial-devel | Distribution: openSUSE Leap 16.0 |
| Version: 1.2.12 | Vendor: openSUSE |
| Release: lp160.1.1 | Build date: Sun Jan 15 11:28:41 2023 |
| Group: Development/Libraries/C and C++ | Build host: reproducible |
| Size: 776409 | Source RPM: brial-1.2.12-lp160.1.1.src.rpm |
| Packager: https://bugs.opensuse.org | |
| Url: https://github.com/BRiAl/BRiAl | |
| Summary: Development files for polybori, a CAS for Boolean Polynomials | |
The core of PolyBoRi/BRiAl 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 with polybori/brial libraries.
GPL-2.0-or-later
* Sun Jan 15 2023 Jan Engelhardt <jengelh@inai.de>
- Update to release 1.2.12
* Address testing problems with boost 1.81.0
* Fri Jul 29 2022 Jan Engelhardt <jengelh@inai.de>
- Update to release 1.2.11
* Remove unary_function and binary_function which are
deprecated in c++11 and removed in c++17.
* Fri Oct 02 2020 Jan Engelhardt <jengelh@inai.de>
- Update to release 1.2.10
* No user-visible changes (build system only)
* Fri Sep 25 2020 Jan Engelhardt <jengelh@inai.de>
- Update to release 1.2.9
* Build changes only: ax_*.m4 was updated
* Tue Sep 22 2020 Jan Engelhardt <jengelh@inai.de>
- Update ax_boost_base.m4 during build with riscv64 support.
* Tue Sep 08 2020 Jan Engelhardt <jengelh@inai.de>
- Initial package (version 1.2.8) for build.opensuse.org,
this replaces polybori-0.8.3.
/usr/include/polybori /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/cache /usr/include/polybori/cache/CCacheManagement.h /usr/include/polybori/cache/CDegreeCache.h /usr/include/polybori/cache/CacheManager.h /usr/include/polybori/common /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/config.h /usr/include/polybori/cudd /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/diagram /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 /usr/include/polybori/except/CErrorInfo.h /usr/include/polybori/except/PBoRiError.h /usr/include/polybori/except/PBoRiGenericError.h /usr/include/polybori/factories /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 /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 /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 /usr/include/polybori/literals/CLiteralCodes.h /usr/include/polybori/literals/CStringLiteral.h /usr/include/polybori/orderings /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/pbori_defs.h /usr/include/polybori/polybori.h /usr/include/polybori/ring /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 /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/lib64/libbrial.so /usr/lib64/libbrial_groebner.so /usr/share/licenses/brial-devel /usr/share/licenses/brial-devel/LICENSE
Generated by rpm2html 1.8.1
Fabrice Bellet, Tue Nov 12 00:24:29 2024