Filewatcher File Search File Search
Catalog
Content Search
» » » » »

libisl10

manipulating sets and relations of integer points bounded by linear constraints

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

Homepage:
Package version:0.10-3
Architecture:armhf
Distribution:Debian
Filename:libisl10_0.10-3_armhf.deb

/usr/share/doc/libisl10/changelog.Debian.gz

isl (0.10-3) unstable; urgency=low

  * Configure with --disable-silent-rules.

 -- Matthias Klose <doko@debian.org>  Sun, 08 Jul 2012 20:42:27 +0200

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.

 -- Matthias Klose <doko@debian.org>  S
more»

/usr/share/doc/libisl10/changelog.gz

version: 0.10
date: Sun Jun  3 18:00:16 CEST 2012
changes:
	- support for interaction with dependence analysis
	- add public API for vectors
	- improved support for (piecewise) multi quasi-affine expressions
	- various minor bug fixes
---
version: 0.09
date: Sat Dec 17 18:19:26 CET 2011
changes:
	- improved argument parsing
	- hide internal structure of isl_options
	- improved support for paramete
more»

/usr/share/doc/libisl10/copyright

Format: http://dep.debian.net/deps/dep5
Upstream-Name: isl
Source: ftp://ftp.linux.student.kuleuven.be/pub/people/skimo/isl/

Files: *
Copyright: 2005-2007 Universiteit Leiden
 2008-2009 Katholieke Universiteit Leuven
 2010-2011 INRIA Saclay
 2012 Ecole Normale Superieure
 2006-2007 Sven Verdoolaege
 2008-2009 K.U.Leuven
License: LGPL-2.1+
 This package is free software; you can redistribute it an
more»

Browse inside libisl10_0.10-3_armhf.deb

         [DIR]DEBIAN/ (5)  65535+ mirrors
         [DIR]usr/ (2)  65535+ mirrors

Download libisl10_0.10-3_armhf.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com