BRiAl (Boolean Ring Algebra) is the successor to PolyBoRi https://github.com/BRiAl/BRiAl
Needed for #14155