Sisyphus repository
Last update: 16 july 2019 | SRPMs: 17682 | Visits: 14325600
en ru br
ALT Linux repos

Group :: Development/Python
RPM: python-module-islpy

 Main   Changelog   Spec   Patches   Sources   Download   Gear   Bugs and FR  Repocop 

Current version: 2018.2.1-alt1
Build date: 12 february 2019, 02:36 ( 22.2 weeks ago )
Size: 359.64 Kb

Home page:

License: MIT
Summary: Wrapper around isl, an integer set library

islpy is a Python wrapper around Sven Verdoolaege's isl, a library for
manipulating sets and relations of integer points bounded by linear

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
* 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.

Current maintainer: Anton Midyukov (maintainer)

List of contributors

List of rpms provided by this srpm:

  • python-module-islpy
  • python-module-islpy-doc
  • python-module-islpy-debuginfo
  • python-module-islpy-pickles
  • python3-module-islpy
  • python3-module-islpy-debuginfo
    design & coding: Vladimir Lettiev aka crux © 2004-2005, Andrew Avramenko aka liks © 2007-2008
    current maintainer: Michael Shigorin