Sisyphus repository
Last update: 21 february 2019 | SRPMs: 18485 | Visits: 13060238
en ru br
ALT Linux repos
S:2018.2.1-alt1

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 ( 1.4 weeks ago )
Size: 359.64 Kb

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.

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
ACL:
     
    design & coding: Vladimir Lettiev aka crux © 2004-2005, Andrew Avramenko aka liks © 2007-2008
    current maintainer: Michael Shigorin