Wrapper around isl, an integer set library

Installers

Info: This package contains files in non-standard labels.

conda install

  • linux-64  v2019.1.2
  • osx-64  v2019.1.2
  • win-64  v2019.1.2
To install this package with conda run one of the following:
conda install -c conda-forge islpy
conda install -c conda-forge/label/gcc7 islpy
conda install -c conda-forge/label/cf201901 islpy

Description

islpy is a Python wrapper around Sven Verdoolaege's isl, 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,
  • computing the lexicographic minimum using parametric integer programming,
  • coalescing, and
  • 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.

PRIVACY POLICY  |  EULA (Anaconda Cloud v2.33.29) © 2019 Anaconda, Inc. All Rights Reserved.