Packages / openSUSE Leap 15.6 / Development/Libraries/C and C++ / brial-devel

Package: brial-devel (1.2.12-bp156.2.4)

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.

Other Packages Related to brial-devel:

dep: boost-devel
Package not available
dep: [libbrial3] (= 1.2.12)
The Polynomials over Boolean Rings Computer Algebra System library

Download brial-devel

Architecture	Package size	Installed size	Files	Package
aarch64	155 KiB	758 KiB	list of files	Download
ppc64le	155 KiB	758 KiB	list of files	Download
s390x	155 KiB	758 KiB	list of files	Download
x86_64	155 KiB	758 KiB	list of files	Download

Package file paths (205)

Paths come from the repository package-file index for the observed builds. They describe archive/package associations, not every file that will exist on a running system after maintainer scripts, alternatives, generated state, diversions, or installation choices.

/usr/include/polybori
/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/BoolePolynomial.h
/usr/include/polybori/BoolePolyRing.h
/usr/include/polybori/BooleSet.h
/usr/include/polybori/BooleSetSequence.h
/usr/include/polybori/BooleVariable.h
/usr/include/polybori/cache
/usr/include/polybori/cache/CacheManager.h
/usr/include/polybori/cache/CCacheManagement.h
/usr/include/polybori/cache/CDegreeCache.h
/usr/include/polybori/common
/usr/include/polybori/common/CCheckedIdx.h
/usr/include/polybori/common/CExtrusivePtr.h
/usr/include/polybori/common/CWeakPtrFacade.h
/usr/include/polybori/common/CWeakPtr.h
/usr/include/polybori/common/tags.h
/usr/include/polybori/common/traits.h
/usr/include/polybori/common/TransformedSequence.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/DegLexOrder.h
/usr/include/polybori/DegRevLexAscOrder.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/add_up.h
/usr/include/polybori/groebner/BitMask.h
/usr/include/polybori/groebner/BlockOrderHelper.h
/usr/include/polybori/groebner/BoundedDivisorsOf.h
/usr/include/polybori/groebner/cache_manager.h
/usr/include/polybori/groebner/ChainCriterion.h
/usr/include/polybori/groebner/ChainVariableCriterion.h
/usr/include/polybori/groebner/CheckChainCriterion.h
/usr/include/polybori/groebner/contained_variables.h
/usr/include/polybori/groebner/CountCriterion.h
/usr/include/polybori/groebner/DegOrderHelper.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/ExpGreater.h
/usr/include/polybori/groebner/ExpLexLess.h
/usr/include/polybori/groebner/FGLMStrategy.h
/usr/include/polybori/groebner/fixed_path_divisors.h
/usr/include/polybori/groebner/GetNthPoly.h
/usr/include/polybori/groebner/groebner_alg.h
/usr/include/polybori/groebner/groebner_defs.h
/usr/include/polybori/groebner/groebner.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/interpolate.h
/usr/include/polybori/groebner/IsEcart0Predicate.h
/usr/include/polybori/groebner/IsVariableOfIndex.h
/usr/include/polybori/groebner/LargerDegreeComparer.h
/usr/include/polybori/groebner/LeadingTerms00.h
/usr/include/polybori/groebner/LeadingTerms11.h
/usr/include/polybori/groebner/LeadingTerms.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/linear_algebra_step.h
/usr/include/polybori/groebner/LiteralFactorization.h
/usr/include/polybori/groebner/LiteralFactorizationIterator.h
/usr/include/polybori/groebner/ll_red_nf.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/Long64From32BitsPair.h
/usr/include/polybori/groebner/lp4data.h
/usr/include/polybori/groebner/MatrixMonomialOrderTables.h
/usr/include/polybori/groebner/minimal_elements.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/nf.h
/usr/include/polybori/groebner/PairData.h
/usr/include/polybori/groebner/PairECompare.h
/usr/include/polybori/groebner/PairE.h
/usr/include/polybori/groebner/PairLSCompare.h
/usr/include/polybori/groebner/PairLS.h
/usr/include/polybori/groebner/PairManagerFacade.h
/usr/include/polybori/groebner/PairManager.h
/usr/include/polybori/groebner/pairs.h
/usr/include/polybori/groebner/PairStatusSet.h
/usr/include/polybori/groebner/PolyEntryBase.h
/usr/include/polybori/groebner/PolyEntry.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/polynomial_properties.h
/usr/include/polybori/groebner/PolynomialSugar.h
/usr/include/polybori/groebner/PolyPairData.h
/usr/include/polybori/groebner/PSCompareByEl.h
/usr/include/polybori/groebner/PseudoLongLong.h
/usr/include/polybori/groebner/PseudoLongProduct.h
/usr/include/polybori/groebner/randomset.h
/usr/include/polybori/groebner/RankingVector.h
/usr/include/polybori/groebner/red_tail.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/RelatedTermsBase.h
/usr/include/polybori/groebner/RelatedTerms.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/tables.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.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/LexOrder.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_cuddext.h
/usr/include/polybori/routines/pbori_routines_dd.h
/usr/include/polybori/routines/pbori_routines.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_groebner.so
/usr/lib64/libbrial.so
/usr/share/licenses/brial-devel
/usr/share/licenses/brial-devel/LICENSE

Field source: openSUSE Leap 15.6 OSS

Use this package

OpenFactory can boot this operating system in a browser VM, or start a build that includes the native package name from this record.

Try openSUSE Leap 15.6 in the browser Build an image that includes brial-devel

Versions, suites, and repositories

Each row is recorded package-index metadata for one version, architecture, suite, and repository. Names, URLs, and sizes are source-reported; a link is a potentially mutable retrieval location, not an OpenFactory redistribution claim or proof that OpenFactory retained the artifact bytes.

Version	Release	Architecture	Repository	Package size	Installed size	Publisher repository artifact
1.2.12-bp156.2.4	leap-15.6 / oss	aarch64	openSUSE Leap 15.6 · OSS · multi-architecture	155 KiB	758 KiB	aarch64/brial-devel-1.2.12-bp156.2.4.aarch64.rpm
1.2.12-bp156.2.4	leap-15.6 / oss	ppc64le	openSUSE Leap 15.6 · OSS · multi-architecture	155 KiB	758 KiB	ppc64le/brial-devel-1.2.12-bp156.2.4.ppc64le.rpm
1.2.12-bp156.2.4	leap-15.6 / oss	s390x	openSUSE Leap 15.6 · OSS · multi-architecture	155 KiB	758 KiB	s390x/brial-devel-1.2.12-bp156.2.4.s390x.rpm
1.2.12-bp156.2.4	leap-15.6 / oss	x86_64	openSUSE Leap 15.6 · OSS · multi-architecture	155 KiB	758 KiB	x86_64/brial-devel-1.2.12-bp156.2.4.x86_64.rpm

Field source: openSUSE Leap 15.6 OSS

Known vulnerabilities

No matching advisories in the tracked sources.

Last synced: Oct 30, 2026, 9:27:22 AM UTC

[CVE catalog]

Checksums

Repository signatures authenticate metadata. Artifact hashing is recorded separately. Neither establishes package safety.

1.2.12-bp156.2.4 / aarch64Observed Sep 1, 2026sha512 7a96a9d2ec80…43626054Source-reported digest

Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported digest (sha512): 7a96a9d2ec803112c0583f2f9cd47e8215df8bf2a6d0e6dc88376c168cd23f0a2832837796dfe9f2cdf8696be47da6911da8d8a4c5968e48a5c0ba0343626054

Field source: openSUSE Leap 15.6 OSS

1.2.12-bp156.2.4 / ppc64leObserved Sep 1, 2026sha512 1dabcc5b82b8…86879f57Source-reported digest

Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported digest (sha512): 1dabcc5b82b8d9422eecd99817cd4f4000dd5f5217926bf4bc64cdfc6395b38381defa2bc09eeb08c91cbad8379d662177e1ce577d0d6c70ce85935d86879f57

Field source: openSUSE Leap 15.6 OSS

1.2.12-bp156.2.4 / s390xObserved Sep 1, 2026sha512 f3e595850a62…92cf47d4Source-reported digest

Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported digest (sha512): f3e595850a62d95465e2a759d1d72773e9a90a130f6708b6d9b521ef765ea6a975e6732e2b496c9eda7ee80092cc3d85e544d56bc952837e969e620092cf47d4

Field source: openSUSE Leap 15.6 OSS

1.2.12-bp156.2.4 / x86_64Observed Sep 1, 2026sha512 14ab8dee05e5…645b58e5Source-reported digest

Metadata observed; artifact bytes were not independently fetched or hashed by this catalog import. The digest below is source-reported.

Source-reported digest (sha512): 14ab8dee05e5079fc6eb351a66aaf06465ce0b2a75b075357ac5225942c772832c1d3a6046c4b3f6d05873c91570a5e6f9ac1e8fed461b134601cfd1645b58e5

Field source: openSUSE Leap 15.6 OSS

Sources

openSUSE Leap 15.6 OSSSep 1, 2026
Authoritative source; repository metadata signature verified
Signature evidence
leap-15-6-oss-multiarch:ca2653101b9afba6656aea529109ba0c0f1ca1a92aa8614e7c887fda5264c230
Repository-signature verification record
Signed object
https://download.opensuse.org/distribution/leap/15.6/repo/oss/repodata/repomd.xml
Signed-object SHA-256
ca2653101b9afba6656aea529109ba0c0f1ca1a92aa8614e7c887fda5264c230
Signer fingerprint
AD485664E901B867051AB15F35A2F86E29B700A4
Keyring revision
opensuse-project-signing-key.asc
SHA-256 b5745739ebfb95b25b8e810f9bcb847fe750ccda598bd85f02f0e974599a6d7e
Tool and policy
gpgv (GnuPG) 2.4.9
openfactory-software-catalog-signature-v1
Verification time
Sep 1, 2026
Repository metadata hash linkage
Result
Recorded as verified; digest details unavailable