Ubuntu

libisl10 binary package in Ubuntu Trusty amd64

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.

Publishing history

	Date	Status	Target	Pocket	Component	Section	Priority	Version
	2014-02-14 15:40:25 UTC	Published	Ubuntu Trusty amd64	release	main	libs	Optional	0.12.2-1
Published on 2014-02-14 Copied from ubuntu trusty-proposed amd64 in Primary Archive for Ubuntu
		Deleted	Ubuntu Trusty amd64	proposed	main	libs	Optional	0.12.2-1
Removal requested on 2014-02-14. Deleted on 2014-02-14 by Ubuntu Archive Robot moved to release Published on 2014-02-14
	2014-02-14 15:41:16 UTC	Superseded	Ubuntu Trusty amd64	release	main	libs	Optional	0.12.1-2
Removed from disk on 2014-02-15. Removal requested on 2014-02-15. Superseded on 2014-02-14 by amd64 build of isl 0.12.2-1 in ubuntu trusty PROPOSED Published on 2013-11-26 Copied from ubuntu trusty-proposed amd64 in Primary Archive for Ubuntu
	2014-02-15 18:10:09 UTC	Deleted	Ubuntu Trusty amd64	proposed	main	libs	Optional	0.12.1-2
Removed from disk on 2014-02-15. Removal requested on 2013-11-26. Deleted on 2013-11-26 by Ubuntu Archive Robot moved to release Published on 2013-11-26
	2013-11-26 17:54:24 UTC	Superseded	Ubuntu Trusty amd64	release	main	libs	Optional	0.12.1-1
Removed from disk on 2013-11-27. Removal requested on 2013-11-27. Superseded on 2013-11-26 by amd64 build of isl 0.12.1-2 in ubuntu trusty PROPOSED Published on 2013-10-21 Copied from ubuntu saucy-release amd64 in Toolchain test builds
	2013-10-21 12:21:02 UTC	Superseded	Ubuntu Trusty amd64	release	main	libs	Optional	0.11.2-1
Removed from disk on 2015-05-01. Removal requested on 2013-10-22. Superseded on 2013-10-21 by amd64 build of isl 0.12.1-1 in ubuntu saucy RELEASE Published on 2013-10-18 Copied from ubuntu saucy-proposed amd64 in Primary Archive for Ubuntu
	2013-11-27 18:10:11 UTC	Deleted	Ubuntu Trusty amd64	proposed	main	libs	Optional	0.12.1-1
Removed from disk on 2013-11-27. Removal requested on 2013-10-21. Deleted on 2013-10-21 by Ubuntu Archive Robot moved to release Published on 2013-10-18 Copied from ubuntu saucy-release amd64 in Toolchain test builds
	2013-11-27 18:10:11 UTC	Deleted	Ubuntu Trusty amd64	release	main	libs	Optional	0.12.1-1
Removed from disk on 2013-11-27. Removal requested on 2013-10-18. Deleted on 2013-10-18 by Colin Watson accidentally copied to release rather than proposed Published on 2013-10-18 Copied from ubuntu saucy-release amd64 in Toolchain test builds
	2013-10-18 15:38:45 UTC	Superseded	Ubuntu Trusty amd64	release	main	libs	Optional	0.11.2-1
Removed from disk on 2015-05-01. Removal requested on 2013-10-19. Superseded on 2013-10-18 by amd64 build of isl 0.12.1-1 in ubuntu saucy RELEASE Published on 2013-10-18 Copied from ubuntu saucy-proposed amd64 in Primary Archive for Ubuntu

Source package

isl package in Ubuntu