1 #include <barvinok/polylib.h>
2 #include <barvinok/options.h>
5 int main(int argc
, char **argv
)
9 struct barvinok_options
*options
= barvinok_options_new_with_defaults();
12 C
= Constraints2Polyhedron(M
, options
->MaxRays
);
15 M
= Cone_Integer_Hull(C
, options
);
19 Matrix_Print(stdout
, P_VALUE_FMT
, M
);
22 if (options
->print_stats
)
23 barvinok_stats_print(options
->stats
, stdout
);
25 barvinok_options_free(options
);