Re: NEW: math/isl

On Wed, Oct 13, 2021 at 09:06:22AM -0600, Tracey Emery wrote:
> Hello,
>
> Attached is a new port, math/isl. This is a new library to go with the
> new xtensa-lx106-elf port build. The port has been tested successfully
> on both amd64 and sparc64.
>
> pkg/DESCR:
>
> 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.
>
> Ok?
>
> --
>
> Tracey Emery

Now with 100% more attachment. Thanks tb@ for the eyes.

--

Tracey Emery