Ubuntu
isl-0.18 package

isl-0.18 0.18-3 source package in Ubuntu

isl-0.18 (0.18-3) unstable; urgency=medium

  * Upload to unstable.

 -- Matthias Klose <email address hidden>  Wed, 14 Mar 2018 19:40:09 +0100

Series	Pocket	Published	Component	Section

File	Size	SHA-256 Checksum
isl-0.18_0.18-3.dsc	1.8 KiB	be9a6b6b35413be11ac5c74408014bd45944dea00c6ffbd4e32e00e56a755df8
isl-0.18_0.18.orig.tar.xz	1.4 MiB	0f35051cc030b87c673ac1f187de40e386a1482a0cfdf2c552dd6031b307ddc4
isl-0.18_0.18-3.debian.tar.xz	21.4 KiB	e254733f1c849ea2a2eb49ccc4d47a1861a68b24b8c6ec2e67c3b2ee6a3880d0

No changes file available.

libisl-0.18-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.

libisl15: 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.