About: Integer set library

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Integer set library Goto Sponge NotDistinct Permalink

An Entity of Type : dbo:Library, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon

http://dbpedia.demo.openlinksw.com/c/hSohRbT6h

isl (integer set library) is a portable C library for manipulating sets and relations of integer points bounded by linear constraints. The following operations are supported: * intersection, union, set difference * emptiness check * convex hull * (integer) affine hull * integer projection * computing the lexicographic minimum using parametric integer programming * coalescing * parametric vertex enumeration All computations are performed in exact integer arithmetic using GMP or imath.

Attributes	Values
rdf:type	Thing software schema:CreativeWork work wikidata:Q386724 Software library
rdfs:label	Integer set library (en)
rdfs:comment	isl (integer set library) is a portable C library for manipulating sets and relations of integer points bounded by linear constraints. The following operations are supported: * intersection, union, set difference * emptiness check * convex hull * (integer) affine hull * integer projection * computing the lexicographic minimum using parametric integer programming * coalescing * parametric vertex enumeration All computations are performed in exact integer arithmetic using GMP or imath. (en)
foaf:name	isl (en)
foaf:homepage	https://libisl.sourceforge.io/
name	isl (en)
dct:subject	Software using the MIT license Free software programmed in C C (programming language) libraries Computer arithmetic Numerical libraries
Wikipage page ID	47701231 (xsd:integer)
Wikipage revision ID	1101926720 (xsd:integer)
Link from a Wikipage to another Wikipage	Basis (linear algebra) Upper and lower bounds Dependence analysis Integer programming Intersection Library (computing) Software using the MIT license Coalescing (computer science) GNU Compiler Collection GNU Multiple Precision Arithmetic Library Bounded set Constraint (mathematics) Control flow Convex hull Empty set Mathematical software Free software programmed in C C (programming language) C (programming language) libraries Transitive closure Lattice reduction Linear inequality Linear programming Frameworks supporting the polyhedral model Set difference Projection (mathematics) Computer arithmetic Jagged array Numerical libraries Affine hull LLVM INRIA Infinite graph Integer Set (mathematics) Loop optimization MIT License Map (mathematics) Union (set theory) Program analysis Vertex enumeration problem Piecewise Lexicographical order
Link from a Wikipage to an external page	http://labexcompilation.ens-lyon.fr/polyhedral-school/program/%23Sven http://polly.llvm.org/ https://libisl.sourceforge.io/ https://repo.or.cz/w/isl.git
sameAs	Integer set library Integer set library Integer set library
dbp:wikiPageUsesTemplate	dbt:Infobox_software dbt:Portal dbt:Reflist dbt:Start_date_and_age
developer	Sven Verdoolaege, INRIA and others (en)
genre	Mathematical software
language	C (programming language)
latest release date	2022-07-03 (xsd:date)
latest release version	0.250000 (xsd:double)
license	MIT License
title	isl (en)
website	https://libisl.sourceforge.io/
has abstract	isl (integer set library) is a portable C library for manipulating sets and relations of integer points bounded by linear constraints. The following operations are supported: * intersection, union, set difference * emptiness check * convex hull * (integer) affine hull * integer projection * computing the lexicographic minimum using parametric integer programming * coalescing * parametric vertex enumeration It also includes an ILP solver based on generalized basis reduction, transitive closures on maps (which may encode infinite graphs), dependence analysis and bounds on piecewise step-polynomials. All computations are performed in exact integer arithmetic using GMP or imath. Many program analysis techniques are based on integer set manipulations. The integers typically represent iterations of a loop nest or elements of an array.isl uses parametric integer programming to obtain an explicit representation in terms of integer divisions. It is used as backend polyhedral library in the GCC Graphite framework and in the LLVM Polly framework for loop optimizations. (en)
gold:hypernym	Library
prov:wasDerivedFrom	wikipedia-en:Integer_set_library?oldid=1101926720&ns=0
page length (characters) of wiki page	4391 (xsd:nonNegativeInteger)
latest release date	2022-07-03 (xsd:date)
latest release version	0.25
developer	INRIA
genre	Mathematical software
language	C (programming language)
license	MIT License
foaf:isPrimaryTopicOf	wikipedia-en:Integer_set_library
is Link from a Wikipage to another Wikipage of	Frameworks supporting the polyhedral model ISL
is Wikipage disambiguates of	ISL
is foaf:primaryTopic of	wikipedia-en:Integer_set_library

Faceted Search & Find service v1.17_git147 as of Sep 06 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3331 as of Sep 2 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 69 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software