libisl15_0.16.1-1_amd64.deb


Advertisement

Description

libisl15 - manipulating sets and relations of integer points bounded by linear constraints

Property Value
Distribution Ubuntu 16.04 LTS (Xenial Xerus)
Repository Ubuntu Main amd64
Package filename libisl15_0.16.1-1_amd64.deb
Package name libisl15
Package version 0.16.1
Package release 1
Package architecture amd64
Package type deb
Category libs
Homepage http://isl.gforge.inria.fr/
License -
Maintainer Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Download size 511.97 KB
Installed size 1.63 MB
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.

Alternatives

Package Version Architecture Repository
libisl15_0.16.1-1_i386.deb 0.16.1 i386 Ubuntu Main
libisl15 - - -

Requires

Name Value
libc6 >= 2.14
libgmp10 -

Download

Type URL
Mirror archive.ubuntu.com
Binary Package libisl15_0.16.1-1_amd64.deb
Source Package isl

Install Howto

  1. Update the package index:
    # sudo apt-get update
  2. Install libisl15 deb package:
    # sudo apt-get install libisl15

Files

Path
/usr/lib/x86_64-linux-gnu/libisl.so.15
/usr/lib/x86_64-linux-gnu/libisl.so.15.1.1
/usr/share/doc/libisl15/changelog.Debian.gz
/usr/share/doc/libisl15/copyright

Changelog

2016-01-25 - Matthias Klose <doko@debian.org>
isl (0.16.1-1) unstable; urgency=medium
* New upstream release.
2015-11-30 - Matthias Klose <doko@ubuntu.com>
isl (0.15-3~14.04) trusty; urgency=medium
* PPA upload.
2015-11-17 - Matthias Klose <doko@debian.org>
isl (0.15-3) unstable; urgency=medium
* Upload to unstable.
2015-07-27 - Matthias Klose <doko@debian.org>
isl (0.15-2) experimental; urgency=medium
* libisl-dbg: Fix dependency on libisl.
2015-07-25 - Matthias Klose <doko@debian.org>
isl (0.15-1) experimental; urgency=medium
* New upstream release.
2015-04-24 - Matthias Klose <doko@debian.org>
isl (0.14-2) unstable; urgency=medium
* Upload to unstable.
2014-11-11 - Matthias Klose <doko@debian.org>
isl (0.14-1) experimental; urgency=medium
* New upstream release.
2014-06-25 - Matthias Klose <doko@debian.org>
isl (0.13-1) experimental; urgency=medium
* New upstream release.
2014-06-25 - Matthias Klose <doko@debian.org>
isl (0.12.2-2) unstable; urgency=medium
* Make the python pretty printer file compatible with python3.
* Let the python pretty printer load the library by the soname.
2014-02-13 - Matthias Klose <doko@debian.org>
isl (0.12.2-1) unstable; urgency=medium
* New upstream release.
* Fix header file. Closes: #730352.
* Build using dh-autoreconf.
* Update symbols file.

See Also

Package Description
libisocodes-dev_1.2.2-1_amd64.deb access of iso-codes data and translations - development files
libisocodes1_1.2.2-1_amd64.deb access of iso-codes data and translations
libitm1-arm64-cross_5.3.1-14ubuntu2cross1_all.deb GNU Transactional Memory Library
libitm1-ppc64el-cross_5.3.1-14ubuntu2cross1_all.deb GNU Transactional Memory Library
libitm1_5.3.1-14ubuntu2_amd64.deb GNU Transactional Memory Library
libiw-dev_30~pre9-8ubuntu1_amd64.deb Wireless tools - development files
libiw30_30~pre9-8ubuntu1_amd64.deb Wireless tools - library
libixion-0.10-0v5_0.9.1-3ubuntu1_amd64.deb general purpose formula parser & interpreter library
libixion-dev_0.9.1-3ubuntu1_amd64.deb general purpose formula parser & interpreter library -- development
libjack-jackd2-0_1.9.10+20150825git1ed50c92~dfsg-1ubuntu1_amd64.deb JACK Audio Connection Kit (libraries)
libjack-jackd2-dev_1.9.10+20150825git1ed50c92~dfsg-1ubuntu1_amd64.deb JACK Audio Connection Kit (development files)
libjakarta-taglibs-standard-java_1.1.2-4_all.deb Implementation of JSP Standard Tag Library (JSTL)
libjansson-dev_2.7-3_amd64.deb C library for encoding, decoding and manipulating JSON data (dev)
libjansson-doc_2.7-3_all.deb C library for encoding, decoding and manipulating JSON data (doc)
libjansson4_2.7-3_amd64.deb C library for encoding, decoding and manipulating JSON data
Advertisement
Advertisement