openKylin isl package

isl 0.25-ok1 source package in openKylin

Changelog

isl (0.25-ok1) yangtze; urgency=medium

  * Update upstream version.

 -- sufang <email address hidden>  Tue, 10 Jan 2023 14:37:58 +0800

Upload details

Uploaded by:
sufang
Sponsored by:
Cibot
Uploaded to:
Yangtze V1.0
Original maintainer:
Openkylin Developers
Architectures:
any
Section:
libs
Urgency:
Medium Urgency

Publishing See full publishing history

Series Pocket Published Component Section
Yangtze V1.0 release main libs
Yangtze V1.0 proposed main libs

Downloads

File Size SHA-256 Checksum
isl_0.25.orig.tar.gz 2.7 MiB b48f990613758baa1fdcea5a334f8a9feae4296131cfe7e6c0705bce1ece5a4a
isl_0.25-ok1.debian.tar.xz 22.6 KiB 8fe909fa9e356feeed1dc48da15cdc8d01a133628adfc64a2a643e471eccc993
isl_0.25-ok1.dsc 1.6 KiB 4c3d2d89ef1f1408174d1291b9805dba3605191dc9f1a326aa1d0bfaac565ad4

View changes file

Binary packages built by this source

libisl-dev: manipulating sets and relations of integer points bounded by linear constraints

 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, and computing the lexicographic
 minimum using parametric integer programming. It also includes an ILP solver
 based on generalized basis reduction.
 .
 This package contains the development files.

libisl23: manipulating sets and relations of integer points bounded by linear constraints

 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, and computing the lexicographic
 minimum using parametric integer programming. It also includes an ILP solver
 based on generalized basis reduction.
 .
 This package contains the runtime library.

libisl23-dbgsym: debug symbols for libisl23