A library for manipulating sets and relations of integer points bounded by linear constraints.
A bibliographic reference extracting tool.