test_bound: include config.h for HAVE_SYS_TIMES_H
[barvinok.git] / polyhedron_integer_hull.c
blob5540239235a207a203e82db1608531790229d65d
1 #include <barvinok/polylib.h>
2 #include <barvinok/options.h>
3 #include "hull.h"
5 int main(int argc, char **argv)
7 Matrix *M;
8 Polyhedron *C;
9 struct barvinok_options *options = barvinok_options_new_with_defaults();
11 argc = barvinok_options_parse(options, argc, argv, ISL_ARG_ALL);
13 M = Matrix_Read();
14 C = Constraints2Polyhedron(M, options->MaxRays);
15 Matrix_Free(M);
17 M = Polyhedron_Integer_Hull(C, options);
19 Polyhedron_Free(C);
21 Matrix_Print(stdout, P_VALUE_FMT, M);
22 Matrix_Free(M);
24 barvinok_options_free(options);
25 return 0;