As an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photos
All times are UTCnotbug
Remember
I remember
Menu ☰ Menu
Searches without login should now work. You must get asked to click a button.
Some translations wanted please.
New RSS 2.0 and Atom feeds are here. The old /backend/ feeds still work, but will be redirected later, so please update your subscriptions. Details.
Port details
py-islpy Wrapper around isl, an integer set library
2026.2.2 math Σ=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout 2026.2.2Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
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.
Homepage    cgit ¦ Codeberg ¦ GitHub ¦ GitLab ¦ SVNWeb - no subversion history for this port
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>) #
  • py312: py312-islpy
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): #
py311-islpy
ABIaarch64amd64armv6armv7i386
FreeBSD:14:latest---2024.2-
FreeBSD:14:quarterly---2024.2-
FreeBSD:15:latest--n/a2024.2n/a
FreeBSD:15:quarterly--n/a-n/a
FreeBSD:16:latest--n/a-n/a
 

py312-islpy
ABIaarch64amd64armv6armv7i386
FreeBSD:14:latest2026.2.22026.2.2--2026.2.2
FreeBSD:14:quarterly2026.2.22026.2.2--2026.2.2
FreeBSD:15:latest2026.2.22026.2.2n/a-n/a
FreeBSD:15:quarterly2026.2.22026.2.2n/a-n/a
FreeBSD:16:latest2026.2.22026.2.2n/a-n/a
 

Dependencies #
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies: #
  1. py312-nanobind>=3.0 : devel/py-nanobind@py312
  2. py312-pcpp>0 : devel/py-pcpp@py312
  3. py312-scikit-build-core>=0.9.3 : devel/py-scikit-build-core@py312
  4. py312-typing-extensions>=4.5 : devel/py-typing-extensions@py312
  5. cmake : devel/cmake-core
  6. llvm-config19 : devel/llvm19
  7. python3.12 : lang/python312
  8. py312-build>=0 : devel/py-build@py312
  9. py312-installer>=0 : devel/py-installer@py312
Test dependencies: #
  1. py312-pytest>=7,1 : devel/py-pytest@py312
  2. python3.12 : lang/python312
Runtime dependencies: #
  1. python3.12 : lang/python312
Library dependencies: #
  1. libbarvinok.so : math/barvinok
  2. libisl.so : devel/isl
  3. 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
pkg-message: #
FreshPorts was unable to extract/find any pkg message
Master Sites: #
Expand this list (2 items)
Collapse this list.
  1. https://files.pythonhosted.org/packages/source/i/islpy/
  2. https://pypi.org/packages/source/i/islpy/
Collapse this list.

Number of commits found: 6 #

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
2026.2.2
21 Sep 2026 16:43:07
commit hash: 4de86f774f84c5e05c3fc760929bc31a1e811f77commit hash: 4de86f774f84c5e05c3fc760929bc31a1e811f77commit hash: 4de86f774f84c5e05c3fc760929bc31a1e811f77commit hash: 4de86f774f84c5e05c3fc760929bc31a1e811f77 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/py-islpy: update 2026.1 → 2026.2.2
2026.1
05 Jun 2026 01:03:25
commit hash: d26027fe913a6da16354f10f749d9be9c7e65129commit hash: d26027fe913a6da16354f10f749d9be9c7e65129commit hash: d26027fe913a6da16354f10f749d9be9c7e65129commit hash: d26027fe913a6da16354f10f749d9be9c7e65129 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/py-islpy: Fix build on 16

Reported by:	fallout
2026.1
11 Apr 2026 07:21:06
commit hash: 152bb5f259323047612d3e1918898f198d020c4acommit hash: 152bb5f259323047612d3e1918898f198d020c4acommit hash: 152bb5f259323047612d3e1918898f198d020c4acommit hash: 152bb5f259323047612d3e1918898f198d020c4a files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/py-islpy: update 2024.2 → 2026.1
2024.2
08 Nov 2024 06:37:32
commit hash: 82bfd475b08fc88fd983fa30573562298b7d188ecommit hash: 82bfd475b08fc88fd983fa30573562298b7d188ecommit hash: 82bfd475b08fc88fd983fa30573562298b7d188ecommit hash: 82bfd475b08fc88fd983fa30573562298b7d188e files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/py-islpy: update 2023.2.5 → 2024.2
2023.2.5
26 Apr 2024 06:19:12
commit hash: 5fd3ca471db1ef69fb1ba44dfd8e4e78a6b55d21commit hash: 5fd3ca471db1ef69fb1ba44dfd8e4e78a6b55d21commit hash: 5fd3ca471db1ef69fb1ba44dfd8e4e78a6b55d21commit hash: 5fd3ca471db1ef69fb1ba44dfd8e4e78a6b55d21 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/py-islpy: Remove unnecessary lines
2023.2.5
26 Apr 2024 06:15:16
commit hash: 3d7ce432c44c9f15369c08e8be95976718fc3287commit hash: 3d7ce432c44c9f15369c08e8be95976718fc3287commit hash: 3d7ce432c44c9f15369c08e8be95976718fc3287commit hash: 3d7ce432c44c9f15369c08e8be95976718fc3287 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/py-islpy: New port: Wrapper around isl, an integer set library

Number of commits found: 6

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
Security Policy
Privacy
Blog
Contact

Latest Vulnerabilities
libressl*Nov 12
libressl-devel*Nov 12
apache24Nov 11
conduitNov 11
gitlabNov 11
immichNov 11
immich-cliNov 11
mbedtls4Nov 11
sqlite3*Nov 11
chromiumNov 10
gitNov 10
git-cvsNov 10
git-guiNov 10
git-p4Nov 10
git-svnNov 10

70 vulnerabilities affecting 575 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last processed:
2026-11-12 07:50:02 UTC


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)

Calculated hourly:
Port count 35561
Broken 62
Deprecated 355
Ignore 184
Forbidden 0
Restricted 1
No CDROM 1
Vulnerable 51
Expired 11
Set to expire 274
Interactive 0
new 24 hours 7
new 48 hours42
new 7 days195
new fortnight264
new month399
Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD 		Valid HTML, CSS, and RSS. Copyright © 2000-2026 Dan Langille. All rights reserved.