This package is required for an update to sagemath 7.3.
Brial is a replacement to PolyBori, and needs a bundled significantly
different Cudd, so, cannot use the system one.
It has only one conflict, brial-devel conflicts with polybori-devel.
Newer sagemath will use it, so polybori is likely to get orphaned
at some point:
$ dnf repoquery --whatrequires 'libpolybori-0.8.so.3()(64bit)'
Last metadata expiration check: 2:32:10 ago on Tue Aug 16 06:45:26 2016.
polybori-devel-0:0.8.3-36.fc25.x86_64
python-polybori-0:0.8.3-36.fc25.x86_64
sagemath-core-0:6.8-13.fc26.x86_64
Thanks,
Paulo