Description
Integer sets and relations bounded by linear constraints can be manipulated by compilers and mathematical tools.
It is useful for developers working on polyhedral optimization, code generation, scheduling, or static analysis. As a development snapshot, behavior can change, so pin versions for reproducible builds.