Package python3-module-islpy: Information

Source package: python3-module-islpy

Version: 2018.2.1-alt2

Build time:  Mar 10, 2020, 02:14 PM in the task #245000

Category: Development/Python3

Gear: https://git.altlinux.org/gears/p/python3-module-islpy.git?a=tree…

Home page: https://pypi.python.org/pypi/islpy

License: MIT

Summary: Wrapper around isl, an integer set library

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.

List of rpms provided by this srpm:
python3-module-islpy (x86_64, ppc64le, i586, aarch64)
python3-module-islpy-debuginfo (x86_64, ppc64le, i586, aarch64)

Maintainer: Anton Midyukov