SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

brial-devel rpm build for : openSUSE Tumbleweed. For other distributions click brial-devel.

Name : brial-devel
Version : 1.2.12 Vendor : openSUSE
Release : 1.7 Date : 2024-02-01 03:18:10
Group : Development/Libraries/C and C++ Source RPM : brial-1.2.12-1.7.src.rpm
Size : 0.74 MB
Packager : http://bugs_opensuse_org
Summary : Development files for polybori, a CAS for Boolean Polynomials
Description :
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.

RPM found in directory: /vol/rzm3/linux-opensuse/ports/i586/tumbleweed/repo/oss/i586

Content of RPM  Changelog  Provides Requires

Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server

Provides :
brial-devel
brial-devel(x86-32)

Requires :
boost-devel
libbrial3 = 1.2.12
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1


Content of RPM :
/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
There is 175 files more in these RPM.

 
ICM