mirror of
https://github.com/Stichting-MINIX-Research-Foundation/pkgsrc-ng.git
synced 2025-08-03 09:48:00 -04:00
7 lines
396 B
Plaintext
7 lines
396 B
Plaintext
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, and computing the
|
|
lexicographic minimum using parametric integer programming. It also
|
|
includes an ILP solver based on generalized basis reduction.
|