a thread-safe C library for manipulating sets and relations of integer points bounded by affine constraints.
There are no files that match your criteria. Clear all filters
