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
isl-0.18.tgz
Description: Binary data
