GitHub repository: rfievet/LIReC
Description: Library of Integer RElations and Constants