Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for RPM isl-0.14-5.fc27.riscv64.rpm

ID	27844
Name	isl
Version	0.14
Release	5.fc27
Epoch
Arch	riscv64
Summary	Integer point manipulation library
Description	isl is a library for manipulating sets and relations of integer points bounded by linear constraints. Supported operations on sets include intersection, union, set difference, emptiness check, convex hull, (integer) affine hull, integer projection, computing the lexicographic minimum using parametric integer programming, coalescing and parametric vertex enumeration. It also includes an ILP solver based on generalized basis reduction, transitive closures on maps (which may encode infinite graphs), dependence analysis and bounds on piecewise step-polynomials.
Build Time	2018-02-15 11:31:12 GMT
Size	1.44 MB
SIGMD5	5718e0c5ca8bddd48276c3de23a32652
License	MIT
Provides	isl = 0.14-5.fc27 isl(riscv-64) = 0.14-5.fc27 libisl.so.13()(64bit)
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	/sbin/ldconfig /sbin/ldconfig ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) libgmp.so.10()(64bit) rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 rpmlib(PayloadIsXz) <= 5.2-1 rtld(GNU_HASH)
Recommends	No Recommends
Suggests	No Suggests
Supplements	No Supplements
Enhances	No Enhances
Files	1 through 11 of 11 Name Size /usr/lib/.build-id 0.00 B /usr/lib/.build-id/c1 0.00 B /usr/lib/.build-id/c1/fd59aeb7812cab463e71c56556ca4662e3c7f8 38.00 B /usr/lib64/libisl.so.13 16.00 B /usr/lib64/libisl.so.13.1.0 5.16 MB /usr/share/doc/isl 0.00 B /usr/share/doc/isl/AUTHORS 987.00 B /usr/share/doc/isl/ChangeLog 3.64 KB /usr/share/doc/isl/LICENSE 1.02 KB /usr/share/doc/isl/README 1.72 KB /usr/share/gdb/auto-load/usr/lib64/libisl.so.13.1.0-gdb.py 3.85 KB
Component of	No Buildroots