Giter Club home page Giter Club logo

islpy-feedstock's Introduction

About islpy-feedstock

Feedstock license: BSD-3-Clause

Home: http://github.com/inducer/islpy

Package license: MIT

Summary: Wrapper around isl, an integer set library

Development: https://github.com/inducer/islpy

Documentation: https://documen.tician.de/islpy

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 build status

Azure
VariantStatus
linux_64_python3.10.____cpythonwith_barvinokFalse variant
linux_64_python3.10.____cpythonwith_barvinokTrue variant
linux_64_python3.11.____cpythonwith_barvinokFalse variant
linux_64_python3.11.____cpythonwith_barvinokTrue variant
linux_64_python3.12.____cpythonwith_barvinokFalse variant
linux_64_python3.12.____cpythonwith_barvinokTrue variant
linux_64_python3.8.____cpythonwith_barvinokFalse variant
linux_64_python3.8.____cpythonwith_barvinokTrue variant
linux_64_python3.9.____73_pypywith_barvinokFalse variant
linux_64_python3.9.____73_pypywith_barvinokTrue variant
linux_64_python3.9.____cpythonwith_barvinokFalse variant
linux_64_python3.9.____cpythonwith_barvinokTrue variant
linux_aarch64_python3.10.____cpythonwith_barvinokFalse variant
linux_aarch64_python3.10.____cpythonwith_barvinokTrue variant
linux_aarch64_python3.11.____cpythonwith_barvinokFalse variant
linux_aarch64_python3.11.____cpythonwith_barvinokTrue variant
linux_aarch64_python3.12.____cpythonwith_barvinokFalse variant
linux_aarch64_python3.12.____cpythonwith_barvinokTrue variant
linux_aarch64_python3.8.____cpythonwith_barvinokFalse variant
linux_aarch64_python3.8.____cpythonwith_barvinokTrue variant
linux_aarch64_python3.9.____73_pypywith_barvinokFalse variant
linux_aarch64_python3.9.____73_pypywith_barvinokTrue variant
linux_aarch64_python3.9.____cpythonwith_barvinokFalse variant
linux_aarch64_python3.9.____cpythonwith_barvinokTrue variant
linux_ppc64le_python3.10.____cpythonwith_barvinokFalse variant
linux_ppc64le_python3.10.____cpythonwith_barvinokTrue variant
linux_ppc64le_python3.11.____cpythonwith_barvinokFalse variant
linux_ppc64le_python3.11.____cpythonwith_barvinokTrue variant
linux_ppc64le_python3.12.____cpythonwith_barvinokFalse variant
linux_ppc64le_python3.12.____cpythonwith_barvinokTrue variant
linux_ppc64le_python3.8.____cpythonwith_barvinokFalse variant
linux_ppc64le_python3.8.____cpythonwith_barvinokTrue variant
linux_ppc64le_python3.9.____73_pypywith_barvinokFalse variant
linux_ppc64le_python3.9.____73_pypywith_barvinokTrue variant
linux_ppc64le_python3.9.____cpythonwith_barvinokFalse variant
linux_ppc64le_python3.9.____cpythonwith_barvinokTrue variant
osx_64_python3.10.____cpythonwith_barvinokFalse variant
osx_64_python3.10.____cpythonwith_barvinokTrue variant
osx_64_python3.11.____cpythonwith_barvinokFalse variant
osx_64_python3.11.____cpythonwith_barvinokTrue variant
osx_64_python3.12.____cpythonwith_barvinokFalse variant
osx_64_python3.12.____cpythonwith_barvinokTrue variant
osx_64_python3.8.____cpythonwith_barvinokFalse variant
osx_64_python3.8.____cpythonwith_barvinokTrue variant
osx_64_python3.9.____73_pypywith_barvinokFalse variant
osx_64_python3.9.____73_pypywith_barvinokTrue variant
osx_64_python3.9.____cpythonwith_barvinokFalse variant
osx_64_python3.9.____cpythonwith_barvinokTrue variant
osx_arm64_python3.10.____cpythonwith_barvinokFalse variant
osx_arm64_python3.10.____cpythonwith_barvinokTrue variant
osx_arm64_python3.11.____cpythonwith_barvinokFalse variant
osx_arm64_python3.11.____cpythonwith_barvinokTrue variant
osx_arm64_python3.12.____cpythonwith_barvinokFalse variant
osx_arm64_python3.12.____cpythonwith_barvinokTrue variant
osx_arm64_python3.8.____cpythonwith_barvinokFalse variant
osx_arm64_python3.8.____cpythonwith_barvinokTrue variant
osx_arm64_python3.9.____cpythonwith_barvinokFalse variant
osx_arm64_python3.9.____cpythonwith_barvinokTrue variant
win_64_python3.10.____cpython variant
win_64_python3.11.____cpython variant
win_64_python3.12.____cpython variant
win_64_python3.8.____cpython variant
win_64_python3.9.____73_pypy variant
win_64_python3.9.____cpython variant

Current release info

Name Downloads Version Platforms
Conda Recipe Conda Downloads Conda Version Conda Platforms

Installing islpy

Installing islpy from the conda-forge channel can be achieved by adding conda-forge to your channels with:

conda config --add channels conda-forge
conda config --set channel_priority strict

Once the conda-forge channel has been enabled, islpy can be installed with conda:

conda install islpy

or with mamba:

mamba install islpy

It is possible to list all of the versions of islpy available on your platform with conda:

conda search islpy --channel conda-forge

or with mamba:

mamba search islpy --channel conda-forge

Alternatively, mamba repoquery may provide more information:

# Search all versions available on your platform:
mamba repoquery search islpy --channel conda-forge

# List packages depending on `islpy`:
mamba repoquery whoneeds islpy --channel conda-forge

# List dependencies of `islpy`:
mamba repoquery depends islpy --channel conda-forge

About conda-forge

Powered by NumFOCUS

conda-forge is a community-led conda channel of installable packages. In order to provide high-quality builds, the process has been automated into the conda-forge GitHub organization. The conda-forge organization contains one repository for each of the installable packages. Such a repository is known as a feedstock.

A feedstock is made up of a conda recipe (the instructions on what and how to build the package) and the necessary configurations for automatic building using freely available continuous integration services. Thanks to the awesome service provided by Azure, GitHub, CircleCI, AppVeyor, Drone, and TravisCI it is possible to build and upload installable packages to the conda-forge Anaconda-Cloud channel for Linux, Windows and OSX respectively.

To manage the continuous integration and simplify feedstock maintenance conda-smithy has been developed. Using the conda-forge.yml within this repository, it is possible to re-render all of this feedstock's supporting files (e.g. the CI configuration files) with conda smithy rerender.

For more information please check the conda-forge documentation.

Terminology

feedstock - the conda recipe (raw material), supporting scripts and CI configuration.

conda-smithy - the tool which helps orchestrate the feedstock. Its primary use is in the construction of the CI .yml files and simplify the management of many feedstocks.

conda-forge - the place where the feedstock and smithy live and work to produce the finished article (built conda distributions)

Updating islpy-feedstock

If you would like to improve the islpy recipe or build a new package version, please fork this repository and submit a PR. Upon submission, your changes will be run on the appropriate platforms to give the reviewer an opportunity to confirm that the changes result in a successful build. Once merged, the recipe will be re-built and uploaded automatically to the conda-forge channel, whereupon the built conda packages will be available for everybody to install and use from the conda-forge channel. Note that all branches in the conda-forge/islpy-feedstock are immediately built and any created packages are uploaded, so PRs should be based on branches in forks and branches in the main repository should only be used to build distinct package versions.

In order to produce a uniquely identifiable distribution:

  • If the version of a package is not being increased, please add or increase the build/number.
  • If the version of a package is being increased, please remember to return the build/number back to 0.

Feedstock Maintainers

islpy-feedstock's People

Contributors

beckermr avatar chrisburr avatar conda-forge-admin avatar conda-forge-curator[bot] avatar conda-forge-webservices[bot] avatar github-actions[bot] avatar hmaarrfk avatar inducer avatar isuruf avatar jakirkham avatar matthiasdiener avatar ocefpaf avatar regro-cf-autotick-bot avatar

Watchers

avatar avatar avatar avatar avatar avatar

Forkers

conda-forge-admin inducer isuruf regro-cf-autotick-bot matthiasdiener

islpy-feedstock's Issues

Build with barvinok fails

Solution to issue cannot be found in the documentation.

  • I checked the documentation.

Issue

To reproduce:

$ conda install islpy barvinok
$ python -m islpy
Illegal instruction (core dumped)

The backtrace is:

#0  0x00007ffff64e1792 in isl_hash_table_init () from /home/kgk2/pack/mambaforge/envs/ceesd/lib/python3.10/site-packages/islpy/../../../libisl.so.23                   
#1  0x00007ffff64cc6e9 in isl_ctx_alloc_with_options () from /home/kgk2/pack/mambaforge/envs/ceesd/lib/python3.10/site-packages/islpy/../../../libisl.so.23
#2  0x00007ffff6b41a43 in islpy_expose_part1(pybind11::module_&)::{lambda()#1}::operator()() const ()
   from /home/kgk2/pack/mambaforge/envs/ceesd/lib/python3.10/site-packages/islpy/_isl.cpython-310-x86_64-linux-gnu.so
#3  0x00007ffff6bffab2 in pybind11::detail::initimpl::factory<islpy_expose_part1(pybind11::module_&)::{lambda()#1}, pybind11::detail::void_type (*)(), isl::ctx* (), pybind11::detail::void_type ()>::execute<pybind11::class_<isl::ctx, std::shared_ptr<isl::ctx> >>(pybind11::class_<isl::ctx, std::shared_ptr<isl::ctx> >&) &&::{lambda(pybind11::detail::value_and_holder&)#1}::operator()(pybind11::detail::value_and_holder&) const ()

Installed packages

# Name                    Version                   Build  Channel
_libgcc_mutex             0.1                 conda_forge    conda-forge
_openmp_mutex             4.5                       2_gnu    conda-forge
appdirs                   1.4.4              pyh9f0ad1d_0    conda-forge
backports                 1.0                        py_2    conda-forge
backports.functools_lru_cache 1.6.4              pyhd8ed1ab_0    conda-forge
barvinok                  0.41.6               h682d088_0    conda-forge
black                     22.6.0          py310hff52083_2    conda-forge
bzip2                     1.0.8                h7f98852_4    conda-forge
ca-certificates           2022.6.15            ha878542_0    conda-forge
click                     8.1.3           py310hff52083_0    conda-forge
gf2x                      1.3.0                ha476b99_2    conda-forge
gmp                       6.2.1                h58526e2_0    conda-forge
isl                       0.25                 h27087fc_0    conda-forge
islpy                     2022.2.1        py310h8139c57_2    conda-forge
jedi                      0.18.1             pyhd8ed1ab_2    conda-forge
ld_impl_linux-64          2.36.1               hea4e1c9_2    conda-forge
libffi                    3.4.2                h7f98852_5    conda-forge
libgcc-ng                 12.1.0              h8d9b700_16    conda-forge
libgomp                   12.1.0              h8d9b700_16    conda-forge
libnsl                    2.0.0                h7f98852_0    conda-forge
libsqlite                 3.39.2               h753d276_1    conda-forge
libstdcxx-ng              12.1.0              ha89aaad_16    conda-forge
libuuid                   2.32.1            h7f98852_1000    conda-forge
libzlib                   1.2.12               h166bdaf_2    conda-forge
mypy_extensions           0.4.3           py310hff52083_5    conda-forge
ncurses                   6.3                  h27087fc_1    conda-forge
ntl                       11.4.3               hef3c4d3_1    conda-forge
openssl                   3.0.5                h166bdaf_1    conda-forge
parso                     0.8.3              pyhd8ed1ab_0    conda-forge
pathspec                  0.9.0              pyhd8ed1ab_0    conda-forge
pip                       22.2.2             pyhd8ed1ab_0    conda-forge
platformdirs              2.5.2              pyhd8ed1ab_1    conda-forge
prompt-toolkit            3.0.30             pyha770c72_0    conda-forge
prompt_toolkit            3.0.30               hd8ed1ab_0    conda-forge
ptpython                  3.0.20          py310hff52083_1    conda-forge
pygments                  2.12.0             pyhd8ed1ab_0    conda-forge
python                    3.10.5          ha86cf86_0_cpython    conda-forge
python_abi                3.10                    2_cp310    conda-forge
readline                  8.1.2                h0f457ee_0    conda-forge
setuptools                65.0.1          py310hff52083_0    conda-forge
sqlite                    3.39.2               h4ff8645_1    conda-forge
tk                        8.6.12               h27826a3_0    conda-forge
tomli                     2.0.1              pyhd8ed1ab_0    conda-forge
tzdata                    2022c                h191b570_0    conda-forge
wcwidth                   0.2.5              pyh9f0ad1d_2    conda-forge
wheel                     0.37.1             pyhd8ed1ab_0    conda-forge
xz                        5.2.6                h166bdaf_0    conda-forge

Environment info

active environment : ceesd
    active env location : /home/kgk2/pack/mambaforge/envs/ceesd
            shell level : 1
       user config file : /home/kgk2/.condarc
 populated config files : /home/kgk2/pack/mambaforge/.condarc
                          /home/kgk2/.condarc
          conda version : 4.11.0
    conda-build version : not installed
         python version : 3.9.7.final.0
       virtual packages : __cuda=11.4=0
                          __linux=5.18.0=0
                          __glibc=2.33=0
                          __unix=0=0
                          __archspec=1=x86_64
       base environment : /home/kgk2/pack/mambaforge  (writable)
      conda av data dir : /home/kgk2/pack/mambaforge/etc/conda
  conda av metadata url : None
           channel URLs : https://conda.anaconda.org/conda-forge/linux-64
                          https://conda.anaconda.org/conda-forge/noarch
                          https://conda.anaconda.org/nodefaults/linux-64
                          https://conda.anaconda.org/nodefaults/noarch
          package cache : /home/kgk2/pack/mambaforge/pkgs
                          /home/kgk2/.conda/pkgs
       envs directories : /home/kgk2/pack/mambaforge/envs
                          /home/kgk2/.conda/envs
               platform : linux-64
             user-agent : conda/4.11.0 requests/2.26.0 CPython/3.9.7 Linux/5.18.0-3-amd64 debian/testing glibc/2.33
                UID:GID : 3048:3048
             netrc file : None
           offline mode : False

`conda install islpy` installs old isl version

Solution to issue cannot be found in the documentation.

  • I checked the documentation.

Issue

For some reason, conda install islpy installs an old isl version (0.25), not the newest release (0.26).

$ conda install islpy
Collecting package metadata (current_repodata.json): done
Solving environment: done

## Package Plan ##

  environment location: /Users/mdiener/Work/emirge/miniforge3/envs/islpytest

  added / updated specs:
    - islpy


The following packages will be downloaded:

    package                    |            build
    ---------------------------|-----------------
    islpy-2023.2.2             |py311hdfdd31f_100         900 KB  conda-forge
    openssl-3.1.3              |       h53f4e23_0         2.1 MB  conda-forge
    python_abi-3.11            |          4_cp311           6 KB  conda-forge
    tk-8.6.13                  |       hb31c410_0         3.1 MB  conda-forge
    ------------------------------------------------------------
                                           Total:         6.1 MB

The following NEW packages will be INSTALLED:

  bzip2              conda-forge/osx-arm64::bzip2-1.0.8-h3422bc3_4
  ca-certificates    conda-forge/osx-arm64::ca-certificates-2023.7.22-hf0a4a13_0
  isl                conda-forge/osx-arm64::isl-0.25-h9a09cb3_0
  islpy              conda-forge/osx-arm64::islpy-2023.2.2-py311hdfdd31f_100
  libcxx             conda-forge/osx-arm64::libcxx-16.0.6-h4653b0c_0
  libexpat           conda-forge/osx-arm64::libexpat-2.5.0-hb7217d7_1
  libffi             conda-forge/osx-arm64::libffi-3.4.2-h3422bc3_5
  libsqlite          conda-forge/osx-arm64::libsqlite-3.43.0-hb31c410_0
  libzlib            conda-forge/osx-arm64::libzlib-1.2.13-h53f4e23_5
  ncurses            conda-forge/osx-arm64::ncurses-6.4-h7ea286d_0
  openssl            conda-forge/osx-arm64::openssl-3.1.3-h53f4e23_0
  pip                conda-forge/noarch::pip-23.2.1-pyhd8ed1ab_0
  python             conda-forge/osx-arm64::python-3.11.5-h47c9636_0_cpython
  python_abi         conda-forge/osx-arm64::python_abi-3.11-4_cp311
  readline           conda-forge/osx-arm64::readline-8.2-h92ec313_1
  setuptools         conda-forge/noarch::setuptools-68.2.2-pyhd8ed1ab_0
  tk                 conda-forge/osx-arm64::tk-8.6.13-hb31c410_0
  tzdata             conda-forge/noarch::tzdata-2023c-h71feb2d_0
  wheel              conda-forge/noarch::wheel-0.41.2-pyhd8ed1ab_0
  xz                 conda-forge/osx-arm64::xz-5.2.6-h57fd34a_0


Proceed ([y]/n)? n

Installed packages

$ conda list
# packages in environment at /Users/mdiener/Work/emirge/miniforge3/envs/islpytest:
#
# Name                    Version                   Build  Channel

Environment info

$ conda info

     active environment : islpytest
    active env location : /Users/mdiener/Work/emirge/miniforge3/envs/islpytest
            shell level : 2
       user config file : /Users/mdiener/.condarc
 populated config files : /Users/mdiener/Work/emirge/miniforge3/.condarc
                          /Users/mdiener/.condarc
          conda version : 23.7.4
    conda-build version : not installed
         python version : 3.10.12.final.0
       virtual packages : __archspec=1=arm64
                          __osx=13.6=0
                          __unix=0=0
       base environment : /Users/mdiener/Work/emirge/miniforge3  (writable)
      conda av data dir : /Users/mdiener/Work/emirge/miniforge3/etc/conda
  conda av metadata url : None
           channel URLs : https://conda.anaconda.org/conda-forge/osx-arm64
                          https://conda.anaconda.org/conda-forge/noarch
          package cache : /Users/mdiener/Work/emirge/miniforge3/pkgs
                          /Users/mdiener/.conda/pkgs
       envs directories : /Users/mdiener/Work/emirge/miniforge3/envs
                          /Users/mdiener/.conda/envs
               platform : osx-arm64
             user-agent : conda/23.7.4 requests/2.31.0 CPython/3.10.12 Darwin/22.6.0 OSX/13.6
                UID:GID : 501:20
             netrc file : None
           offline mode : False

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.