Description
Integer points inside mathematical polytopes can be counted for research and optimization problems. It is useful for developers and researchers working with combinatorics, symbolic computation, compiler analysis, or parametric counting.
This is mainly a library and specialist command-line toolkit. It is not useful for everyday desktop work unless another scientific or development package depends on it.