isl-0.19.txz


Advertisement

Description

isl - Integer Set Library

Property Value
Distribution FreeBSD 12
Repository FreeBSD Ports Quarterly amd64
Package filename isl-0.19.txz
Package name isl
Package version 0.19
Package release -
Package architecture amd64
Package type txz
Category devel
Homepage http://isl.gforge.inria.fr/
License MIT
Maintainer danilo@FreeBSD.org
Download size 916.64 KB
Installed size 5.30 MB
isl is 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.
WWW: http://isl.gforge.inria.fr/

Alternatives

Package Version Architecture Repository
isl-0.19.txz 0.19 i386 FreeBSD Ports Quarterly
isl-0.19.txz 0.19 amd64 FreeBSD Ports Latest
isl-0.19.txz 0.19 i386 FreeBSD Ports Latest
isl - - -

Requires

Name Value
gmp = 6.1.2_1
libgmp.so.10 -

Provides

Name Value
libisl.so.19 -

Download

Type URL
Mirror pkg.freebsd.org
Binary Package isl-0.19.txz
Source Package devel/isl

Install Howto

Install isl txz package:

# pkg install isl

See Also

Package Description
ismtp-g20180824.txz Test for SMTP user enumeration,internal spoofing, and relay
isnprober-1.02.txz PenTest tool for TCP Initial Sequence Numbers research
iso-codes-4.2.txz Lists of the country, language, and currency iso names
iso-schematron-xslt-20130313_1.txz The Leading Implementation of ISO Schematron
iso12083-1993_2.txz SGML DTDs from the The Electronic Publishing Special Interest Group
iso2mkv-2011.05.02_3.txz Script to convert DVD image, device, or VIDEO_TS to mkv
iso8879-1986_3.txz Character entity sets from ISO 8879:1986 (SGML)
isomaster-1.3.14.txz GTK2 (bootable) CD ISO Image editor
isomd5sum-1.0.11_1.txz Implanting and checking checksums within an ISO9660 image
isoqlog-2.2.1_1.txz Qmail, postfix, sendmail, exim MTA log analysis program
ispc-1.11.0_1.txz Intel's compiler for high-performance SIMD programming
isql-viewer-2.1.8_4.txz JDBC 2.x compliant database front end
istatserver-3.02.txz Daemon for iStat iPhone application
istgt-20150713.txz iSCSI target for openSUSE/Debian/NetBSD/FreeBSD
istio-1.2.5.txz Open platform to connect, manage, and secure microservices
Advertisement
Advertisement