brial Library for polynomials over boolean rings

1.2.15 math 👁 on this many watch lists
=1 👁 search for ports that depend on this port
👁 Find issues related to this port
👁 Report an issue related to this port
👁 View this port on Repology.
👁 pkg-fallout
1.2.12_3Version of this port present on the latest quarterly branch.

There is no maintainer for this port.

Any concerns regarding this port should be directed to the FreeBSD Ports mailing list via ports@FreeBSD.org 👁 search for ports maintained by this maintainer

Port Added: 2020-03-31 17:29:13

Last Update: 2026-03-20 20:25:10

Commit Hash: cafe513

People watching this port, also watch:: SparseBitSet, py311-cysignals, R-cran-eRm, python

License: GPLv2

WWW:

https://github.com/BRiAl/BRiAl

Description:

BRiAl is the successor to PolyBoRi. 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 we provide a Python interface. 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.

👁 Homepage
    👁 cgit
¦ 👁 Codeberg
¦ 👁 GitHub
¦ 👁 GitLab
¦ 👁 SVNWeb

Manual pages:

FreshPorts has no man page information for this port.

pkg-plist: as obtained via: make generate-plist

Expand this list (204 items)

Collapse this list.

1. @ldconfig
2. /usr/local/share/licenses/BRiAl-1.2.15/catalog.mk
3. /usr/local/share/licenses/BRiAl-1.2.15/LICENSE
4. /usr/local/share/licenses/BRiAl-1.2.15/GPLv2
5. include/polybori.h
6. include/polybori/BlockDegLexOrder.h
7. include/polybori/BlockDegRevLexAscOrder.h
8. include/polybori/BooleConstant.h
9. include/polybori/BooleEnv.h
10. include/polybori/BooleExponent.h
11. include/polybori/BooleMonomial.h
12. include/polybori/BoolePolyRing.h
13. include/polybori/BoolePolynomial.h
14. include/polybori/BooleSet.h
15. include/polybori/BooleSetSequence.h
16. include/polybori/BooleVariable.h
17. include/polybori/DegLexOrder.h
18. include/polybori/DegRevLexAscOrder.h
19. include/polybori/LexOrder.h
20. include/polybori/cache/CCacheManagement.h
21. include/polybori/cache/CDegreeCache.h
22. include/polybori/cache/CacheManager.h
23. include/polybori/common/CCheckedIdx.h
24. include/polybori/common/CExtrusivePtr.h
25. include/polybori/common/CWeakPtr.h
26. include/polybori/common/CWeakPtrFacade.h
27. include/polybori/common/TransformedSequence.h
28. include/polybori/common/tags.h
29. include/polybori/common/traits.h
30. include/polybori/config.h
31. include/polybori/cudd/cudd.h
32. include/polybori/cudd/cuddInt.h
33. include/polybori/cudd/prefix.h
34. include/polybori/cudd/prefix_internal.h
35. include/polybori/diagram/CApplyNodeFacade.h
36. include/polybori/diagram/CCuddDDFacade.h
37. include/polybori/diagram/CDDOperations.h
38. include/polybori/diagram/CNodeCounter.h
39. include/polybori/except/CErrorInfo.h
40. include/polybori/except/PBoRiError.h
41. include/polybori/except/PBoRiGenericError.h
42. include/polybori/factories/CFactoryBase.h
43. include/polybori/factories/MonomialFactory.h
44. include/polybori/factories/PolynomialFactory.h
45. include/polybori/factories/SetFactory.h
46. include/polybori/factories/VariableBlock.h
47. include/polybori/factories/VariableFactory.h
48. include/polybori/groebner/BitMask.h
49. include/polybori/groebner/BlockOrderHelper.h
50. include/polybori/groebner/BoundedDivisorsOf.h
51. include/polybori/groebner/ChainCriterion.h
52. include/polybori/groebner/ChainVariableCriterion.h
53. include/polybori/groebner/CheckChainCriterion.h
54. include/polybori/groebner/CountCriterion.h
55. include/polybori/groebner/DegOrderHelper.h
56. include/polybori/groebner/ExpGreater.h
57. include/polybori/groebner/ExpLexLess.h
58. include/polybori/groebner/FGLMStrategy.h
59. include/polybori/groebner/GetNthPoly.h
60. include/polybori/groebner/GroebnerOptions.h
61. include/polybori/groebner/GroebnerStrategy.h
62. include/polybori/groebner/HasTRepOrExtendedProductCriterion.h
63. include/polybori/groebner/IJPairData.h
64. include/polybori/groebner/IsEcart0Predicate.h
65. include/polybori/groebner/IsVariableOfIndex.h
66. include/polybori/groebner/LLReduction.h
67. include/polybori/groebner/LLReductor.h
68. include/polybori/groebner/LMLessCompare.h
69. include/polybori/groebner/LMLessComparePS.h
70. include/polybori/groebner/LargerDegreeComparer.h
71. include/polybori/groebner/LeadingTerms.h
72. include/polybori/groebner/LeadingTerms00.h
73. include/polybori/groebner/LeadingTerms11.h
74. include/polybori/groebner/LessCombinedManySizesInStrat.h
75. include/polybori/groebner/LessEcartThenLessWeightedLengthInStrat.h
76. include/polybori/groebner/LessUsedTailVariablesThenLessWeightedLengthInStrat.h
77. include/polybori/groebner/LessWeightedLengthInStrat.h
78. include/polybori/groebner/LessWeightedLengthInStratModified.h
79. include/polybori/groebner/LexBucket.h
80. include/polybori/groebner/LexHelper.h
81. include/polybori/groebner/LexOrderGreaterComparer.h
82. include/polybori/groebner/LiteralFactorization.h
83. include/polybori/groebner/LiteralFactorizationIterator.h
84. include/polybori/groebner/Long64From32BitsPair.h
85. include/polybori/groebner/MatrixMonomialOrderTables.h
86. include/polybori/groebner/MinimalLeadingTerms.h
87. include/polybori/groebner/MonomialHasher.h
88. include/polybori/groebner/MonomialPlusOneTerms.h
89. include/polybori/groebner/MonomialTerms.h
90. include/polybori/groebner/NBitsUsed.h
91. include/polybori/groebner/NextSpoly.h
92. include/polybori/groebner/PSCompareByEl.h
93. include/polybori/groebner/PairData.h
94. include/polybori/groebner/PairE.h
95. include/polybori/groebner/PairECompare.h
96. include/polybori/groebner/PairLS.h
97. include/polybori/groebner/PairLSCompare.h
98. include/polybori/groebner/PairManager.h
99. include/polybori/groebner/PairManagerFacade.h
100. include/polybori/groebner/PairStatusSet.h
101. include/polybori/groebner/PolyEntry.h
102. include/polybori/groebner/PolyEntryBase.h
103. include/polybori/groebner/PolyEntryIndices.h
104. include/polybori/groebner/PolyEntryPtrLmLess.h
105. include/polybori/groebner/PolyEntryReference.h
106. include/polybori/groebner/PolyEntryVector.h
107. include/polybori/groebner/PolyFromPolyEntry.h
108. include/polybori/groebner/PolyMonomialPairComparerLess.h
109. include/polybori/groebner/PolyMonomialPairComparerLexLess.h
110. include/polybori/groebner/PolyPairData.h
111. include/polybori/groebner/PolynomialSugar.h
112. include/polybori/groebner/PseudoLongLong.h
113. include/polybori/groebner/PseudoLongProduct.h
114. include/polybori/groebner/RankingVector.h
115. include/polybori/groebner/RedTailNth.h
116. include/polybori/groebner/ReductionOptions.h
117. include/polybori/groebner/ReductionStrategy.h
118. include/polybori/groebner/ReductionTerms.h
119. include/polybori/groebner/RelatedTerms.h
120. include/polybori/groebner/RelatedTermsBase.h
121. include/polybori/groebner/SetAssociatedMinimal.h
122. include/polybori/groebner/SetBitUInt.h
123. include/polybori/groebner/ShorterEliminationLength.h
124. include/polybori/groebner/ShorterEliminationLengthModified.h
125. include/polybori/groebner/SlimgbReduction.h
126. include/polybori/groebner/TermsFacade.h
127. include/polybori/groebner/TimesConstantImplication.h
128. include/polybori/groebner/TimesVariableSubstitution.h
129. include/polybori/groebner/VariablePairData.h
130. include/polybori/groebner/ZeroFunction.h
131. include/polybori/groebner/add_up.h
132. include/polybori/groebner/cache_manager.h
133. include/polybori/groebner/contained_variables.h
134. include/polybori/groebner/dlex4data.h
135. include/polybori/groebner/dp_asc4data.h
136. include/polybori/groebner/draw_matrix.h
137. include/polybori/groebner/fixed_path_divisors.h
138. include/polybori/groebner/groebner.h
139. include/polybori/groebner/groebner_alg.h
140. include/polybori/groebner/groebner_defs.h
141. include/polybori/groebner/interpolate.h
142. include/polybori/groebner/linear_algebra_step.h
143. include/polybori/groebner/ll_red_nf.h
144. include/polybori/groebner/lp4data.h
145. include/polybori/groebner/minimal_elements.h
146. include/polybori/groebner/nf.h
147. include/polybori/groebner/pairs.h
148. include/polybori/groebner/polynomial_properties.h
149. include/polybori/groebner/randomset.h
150. include/polybori/groebner/red_tail.h
151. include/polybori/groebner/tables.h
152. include/polybori/iterators/CBidirectTermIter.h
153. include/polybori/iterators/CCuddFirstIter.h
154. include/polybori/iterators/CCuddLastIter.h
155. include/polybori/iterators/CCuddNavigator.h
156. include/polybori/iterators/CExpIter.h
157. include/polybori/iterators/CGenericIter.h
158. include/polybori/iterators/COrderedIter.h
159. include/polybori/iterators/CStackSelector.h
160. include/polybori/iterators/CTermGenerator.h
161. include/polybori/iterators/CTermIter.h
162. include/polybori/iterators/CTermStack.h
163. include/polybori/iterators/CVariableIter.h
164. include/polybori/iterators/PBoRiOutIter.h
165. include/polybori/iterators/TransformedIterator.h
166. include/polybori/literals/CLiteralCodes.h
167. include/polybori/literals/CStringLiteral.h
168. include/polybori/orderings/CBlockOrderingFacade.h
169. include/polybori/orderings/COrderingBase.h
170. include/polybori/orderings/COrderingFacade.h
171. include/polybori/orderings/COrderingTags.h
172. include/polybori/orderings/order_tags.h
173. include/polybori/orderings/order_traits.h
174. include/polybori/orderings/pbori_order.h
175. include/polybori/pbori_defs.h
176. include/polybori/polybori.h
177. include/polybori/ring/CCallbackWrapper.h
178. include/polybori/ring/CCuddCore.h
179. include/polybori/ring/CCuddInterface.h
180. include/polybori/ring/CMemberFunctionTraits.h
181. include/polybori/ring/CVariableNames.h
182. include/polybori/ring/WeakRingPtr.h
183. include/polybori/routines/pbori_algo.h
184. include/polybori/routines/pbori_algo_int.h
185. include/polybori/routines/pbori_algorithms.h
186. include/polybori/routines/pbori_func.h
187. include/polybori/routines/pbori_routines.h
188. include/polybori/routines/pbori_routines_cuddext.h
189. include/polybori/routines/pbori_routines_dd.h
190. include/polybori/routines/pbori_routines_hash.h
191. include/polybori/routines/pbori_routines_misc.h
192. include/polybori/routines/pbori_routines_order.h
193. lib/libbrial.a
194. lib/libbrial.so
195. lib/libbrial.so.3
196. lib/libbrial.so.3.0.7
197. lib/libbrial_groebner.a
198. lib/libbrial_groebner.so
199. lib/libbrial_groebner.so.3
200. lib/libbrial_groebner.so.3.0.7
201. libdata/pkgconfig/brial.pc
202. @owner
203. @group
204. @mode

Collapse this list.

USE_RC_SUBR (Service Scripts)

• no SUBR information found for this port

Dependency lines:

• BRiAl>0:math/brial

To install the port:

To add the package, run one of these commands:

NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.

PKGNAME: BRiAl

Flavors: there is no flavor information for this port.

distinfo:

TIMESTAMP = 1774017950 SHA256 (brial-1.2.15.tar.bz2) = 1d0e7de01b1b60ad892dee6c02503f5932e2ed211f3f8dbdf1a3216c696ef201 SIZE (brial-1.2.15.tar.bz2) = 1199316

---

Packages (timestamps in pop-ups are UTC):

BRiAl

ABI	aarch64	amd64	armv6	armv7	i386	powerpc	powerpc64	powerpc64le
FreeBSD:13:latest	1.2.12_3	1.2.15	1.2.10	1.2.12_2	1.2.15	n/a	n/a	n/a
FreeBSD:13:quarterly	1.2.12_3	1.2.15	1.2.11_1	1.2.12_2	1.2.12_3	n/a	n/a	n/a
FreeBSD:14:latest	1.2.15	1.2.15	1.2.11_1	1.2.12_2	1.2.15	1.2.11_1	-	1.2.11_1
FreeBSD:14:quarterly	1.2.15	1.2.15	-	1.2.12_2	1.2.15	1.2.11_1	1.2.11_1	1.2.11_1
FreeBSD:15:latest	1.2.15	1.2.15	n/a	1.2.12_2	n/a	n/a	1.2.11_1	1.2.11_1
FreeBSD:15:quarterly	1.2.15	1.2.15	n/a	-	n/a	n/a	-	-
FreeBSD:16:latest	1.2.15	1.2.15	n/a	-	n/a	n/a	-	-

Dependencies

NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Build dependencies:

1. pkgconf>=1.3.0_1 : devel/pkgconf

Library dependencies:

1. libm4ri.so : math/m4ri
2. libgd.so : graphics/gd
3. libpng.so : graphics/png
4. libboost_thread.so : devel/boost-libs

This port is required by:

for Libraries

1. math/py-brial

Deleted ports which required this port:

Expand this list of 1 deleted port

1. math/sage^*
2. Collapse this list of deleted ports.

* - deleted ports are only shown under the This port is required by section. It was harder to do for the Required section. Perhaps later...

---

Configuration Options:

No options to configure

Options name:

math_brial

USES:

compiler:c++11-lang libtool localbase:ldflags pkgconfig tar:bz2

FreshPorts was unable to extract/find any pkg message

Master Sites:

Expand this list (1 items)

Collapse this list.

1. https://github.com/BRiAl/BRiAl/releases/download/1.2.15/

Collapse this list.

math/brial: upgrade to 1.2.15

Releases notes at https://github.com/BRiAl/BRiAl/releases

devel/boost: bump consumers after boost upgrade (+)

Get rid of direct dependency ob libbost_system.so, use libboost_thread.so
instead

Revert "math/*: Improve and expand pkg-descr"

This reverts commit 5f90970e571a0fbd9caee91a04409f5c8ab1f9fe.

math/*: Improve and expand pkg-descr

All ports maintained by ports@FreeBSD.org

Content generated by Gemini AI.

devel/boost: bump consumers after Boost update

devel/boost: bump consumers after Boost-1.87 update

Sponsored by:	Future Crew, LLC

*/*: drop maintainership

math/brial: Use upstream release archive

* Use upstream release archive
* Fix build after PR 284367 being committed
* Adjust Makefile to closer follow Porters Handbook

PR:		284369
Approved by:	portmgr (maintainer timeout, 2 weeks)

math/brial: upgrade BRiAl to 1.2.12

Release notes at https://github.com/BRiAl/BRiAl/releases/tag/1.2.12 .

devel/boost: bump consu,ers after update Boost to 1.86 release

Sponsored by:	Future Crew, LLC

*/*: bump consumers after devel/boost* update

With hat:	office
Sponsored by:	Future Crew, LLC

Remove WWW entries moved into port Makefiles

Commit b7f05445c00f has added WWW entries to port Makefiles based on
WWW: lines in pkg-descr files.

This commit removes the WWW: lines of moved-over URLs from these
pkg-descr files.

Approved by:		portmgr (tcberner)

Add WWW entries to port Makefiles

It has been common practice to have one or more URLs at the end of the
ports' pkg-descr files, one per line and prefixed with "WWW:". These
URLs should point at a project website or other relevant resources.

Access to these URLs required processing of the pkg-descr files, and
they have often become stale over time. If more than one such URL was
present in a pkg-descr file, only the first one was tarnsfered into
the port INDEX, but for many ports only the last line did contain the
port specific URL to further information.

There have been several proposals to make a project URL available as
a macro in the ports' Makefiles, over time.

*/*: bump all consumers after recent boost upgrade

math/brial: upgrade to 1.2.11

Release notes at <https://github.com/BRiAl/BRiAl/releases/tag/1.2.11>.

math: remove 'Created by' lines

A big Thank You to the original contributors of these ports:

 * Aaron Dalton <aaron@FreeBSD.org>
 * Aaron Dalton <aaron@daltons.ca>
 * Alessando Sagratini <ale_sagra@hotmail.com>
 * Alex Dupre <ale@FreeBSD.org>
 * Alexey Dokuchaev <danfe@FreeBSD.org>
 * Amarendra Godbole <amarendra.godbole@gmail.com>
 * Anders Nordby <anders@FreeBSD.org>
 * Andreas Fehlner (fehlner@gmx.de)
 * Andrew L. Neporada <andrew@chg.ru>
 * Andrey <gugu@zoo.rambler.ru>
 * Andrey Zakhvatov

devel/boost-all: bump all library consumers after boost upgrade

PR:	246106

Remove # $FreeBSD$ from Makefiles.

Upgrade to 1.2.10 (revert system CUDD support).

Upgrade to 1.2.9.

Release notes at <https://github.com/BRiAl/BRiAl/releases/tag/1.2.9>.

- update libgd to 2.3.0
- new option RAQM
- resurrect deprecated gdlib-config
- bump dependend ports

Adding BRiAl, a library for polynomials over boolean rings, and its Python
module.

To be used by SageMath.

20 vulnerabilities affecting 360 ports have been reported in the past 14 days

^* - modified, not new

All vulnerabilities

Last processed:
2026-04-11 08:28:37 UTC