GENEX: a tool for testing in ILP

GENEX: a tool for testing in ILP