isl-0.19.txz


Advertisement

Description

isl - Integer Set Library

Property Value
Distribution FreeBSD 10
Repository FreeBSD Ports Latest amd64
Package name isl
Package version 0.19
Package architecture amd64
Package type txz
Installed size 5.06 MB
Download size 898.43 KB
Official Mirror pkg.freebsd.org
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/
Categories: devel
Maintainer: danilo@FreeBSD.org

Alternatives

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

Requires

Name Value
gmp = 6.1.2
libgmp.so.10 -

Provides

Name Value
libisl.so.19 -

Download

Type URL
Binary Package isl-0.19.txz
Source Package devel/isl

Install Howto

Install the isl txz package:

# pkg install isl

See Also

Package Description
isnprober-1.02.txz PenTest tool for TCP Initial Sequence Numbers research
iso-codes-3.76.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_2.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.9.2_4.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.0.3.txz Open platform to connect, manage, and secure microservices
isync-1.3.0_1.txz Maintain local copies of remote IMAP folders w/synchronized flags
Advertisement
Advertisement