2 #include <barvinok/options.h>
3 #include <barvinok/sample.h>
8 int main(int argc
, char **argv
)
13 struct barvinok_options
*bv_options
= barvinok_options_new_with_defaults();
15 set_program_name(argv
[0]);
16 argp_parse(&barvinok_argp
, argc
, argv
, 0, 0, bv_options
);
19 P
= Constraints2Polyhedron(M
, bv_options
->MaxRays
);
22 sample
= Polyhedron_Sample(P
, bv_options
);
24 assert(in_domain(P
, sample
->p
));
25 Vector_Print(stdout
, P_VALUE_FMT
, sample
);
30 barvinok_options_free(bv_options
);