On 10/13/2021 11:24 AM, 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.
Will this get picked up by egcc if it is installed?
~Brian
No comments:
Post a Comment