path: root/rat2int.h

#define DOCSTRING "inetools 0.10\
\n\
\n\
rat2int takes a polytope file with rational coefficients,\n\
and outputs an equivalent one with integer coefficients.\n\
"