libisl10_0.12.2-2_amd64.deb


Advertisement

Description

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

Distribution: Debian 8 (Jessie)
Repository: Debian Main amd64
Package name: libisl10
Package version: 0.12.2
Package release: 2
Package architecture: amd64
Package type: deb
Installed size: 1.38 KB
Download size: 429.76 KB
Official Mirror: ftp.br.debian.org
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

    Download

    Source package: isl

    Install Howto

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

    Files

    • /usr/lib/x86_64-linux-gnu/libisl.so.10
    • /usr/lib/x86_64-linux-gnu/libisl.so.10.2.2
    • /usr/share/doc/libisl10/changelog.Debian.gz
    • /usr/share/doc/libisl10/changelog.gz
    • /usr/share/doc/libisl10/copyright

    Changelog

    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.

    2013-11-26 - Matthias Klose <doko@debian.org> isl (0.12.1-2) unstable; urgency=low * Drop build dependency on libcloog-isl-dev.

    2013-10-17 - Matthias Klose <doko@debian.org> isl (0.12.1-1) unstable; urgency=low * New upstream release. Closes: #714830. * libisl10: Breaks libcloog-isl4 (<< 0.18.1). * Update symbols file. * Build-depend on libcloog-isl-dev (>= 0.18.1) to make sure that the cloog version compatible with isl-0.12 already is in the archive. * Use dh_autotools-dev, not autoreconf to update config.{sub,guess}. Closes: #721854. * Update project home page. Closes: #682352.

    2013-07-16 - Matthias Klose <doko@debian.org> isl (0.12-1) experimental; urgency=low * New upstream release.

    2013-05-09 - Matthias Klose <doko@debian.org> isl (0.11.2-1) unstable; urgency=low * New upstream release. * Update symbols file.

    2013-02-27 - Matthias Klose <doko@debian.org> isl (0.11.1-2) unstable; urgency=low * Build using dh-autoreconf.

    2013-01-13 - Matthias Klose <doko@debian.org> isl (0.11.1-1) unstable; urgency=low * New upstream release. * Update debian/copyright.

    2012-07-08 - Matthias Klose <doko@debian.org> isl (0.10-3) unstable; urgency=low * Configure with --disable-silent-rules.

    2012-07-01 - Matthias Klose <doko@debian.org> isl (0.10-2) unstable; urgency=low * Complete copyright information. Closes: #679464. * Note about stdint.h generator differs among architectures and breaks multiarch (Gregor Jasny). Closes: #658841.

    Advertisement
    Advertisement