A library for manipulating integer points bounded by linear constraints
