| Port details |
- py-islpy Wrapper around isl, an integer set library
- 2026.2.2 math
 =0      2026.1Version of this port present on the latest quarterly branch. - Maintainer: yuri@FreeBSD.org
- Port Added: 2024-04-26 06:18:28
- Last Update: 2026-09-21 16:43:07
- Commit Hash: 4de86f7
- License: MIT
- WWW:
- https://documen.tician.de/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,
* 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.
  ¦  ¦  ¦  ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - There is no configure plist information for this port.
- USE_RC_SUBR (Service Scripts)
- no SUBR information found for this port
- Dependency lines:
-
- ${PYTHON_PKGNAMEPREFIX}islpy>0:math/py-islpy@${PY_FLAVOR}
- To install the port:
- cd /usr/ports/math/py-islpy/ && make install clean
- To add the package, run one of these commands:
- pkg install math/py-islpy
- pkg install py312-islpy
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.
NOTE: This is a Python port. Instead of py312-islpy listed in the above command, you can pick from the names under the Packages section.- PKGNAME: py312-islpy
- Package flavors (<flavor>: <package>)
- distinfo:
- TIMESTAMP = 1789892478
SHA256 (islpy-2026.2.2.tar.gz) = c94383d6ffe725774b4839eb5b259565b828f972e9413a8dad677459a5dc5b5f
SIZE (islpy-2026.2.2.tar.gz) = 1377326
Packages (timestamps in pop-ups are UTC):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- py312-nanobind>=3.0 : devel/py-nanobind@py312
- py312-pcpp>0 : devel/py-pcpp@py312
- py312-scikit-build-core>=0.9.3 : devel/py-scikit-build-core@py312
- py312-typing-extensions>=4.5 : devel/py-typing-extensions@py312
- cmake : devel/cmake-core
- llvm-config19 : devel/llvm19
- python3.12 : lang/python312
- py312-build>=0 : devel/py-build@py312
- py312-installer>=0 : devel/py-installer@py312
- Test dependencies:
-
- py312-pytest>=7,1 : devel/py-pytest@py312
- python3.12 : lang/python312
- Runtime dependencies:
-
- python3.12 : lang/python312
- Library dependencies:
-
- libbarvinok.so : math/barvinok
- libisl.so : devel/isl
- libpolylibgmp.so : math/polylib
- There are no ports dependent upon this port
Configuration Options:- No options to configure
- Options name:
- math_py-islpy
- USES:
- cmake:indirect llvm:min=16 python
- FreshPorts was unable to extract/find any pkg message
- Master Sites:
|
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
2026.2.2
21 Sep 2026 16:43:07
 |
Yuri Victorovich (yuri) |
math/py-islpy: update 2026.1 → 2026.2.2 |
2026.1
05 Jun 2026 01:03:25
|
Yuri Victorovich (yuri) |
math/py-islpy: Fix build on 16
Reported by: fallout |
2026.1
11 Apr 2026 07:21:06
|
Yuri Victorovich (yuri) |
math/py-islpy: update 2024.2 → 2026.1 |
2024.2
08 Nov 2024 06:37:32
|
Yuri Victorovich (yuri) |
math/py-islpy: update 2023.2.5 → 2024.2 |
2023.2.5
26 Apr 2024 06:19:12
|
Yuri Victorovich (yuri) |
math/py-islpy: Remove unnecessary lines |
2023.2.5
26 Apr 2024 06:15:16
|
Yuri Victorovich (yuri) |
math/py-islpy: New port: Wrapper around isl, an integer set library |
As an Amazon Associate I earn from qualifying purchases.