Re: NEW: math/isl

On Wed, Oct 13, 2021 at 09:24:26AM -0600, Tracey Emery wrote:
> 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

Privately, bcallah mentions that egcc will most likely pick this up in
its build if installed. I'm unsure if this will cause issues with that
build. I did not think to test this out that far.

--

Tracey Emery