update isl for introduction of isl_stat
[barvinok.git] / ilp.h
blob63b832509ba2bece07ce8a7aa17e89e957edc01a
1 #include <barvinok/polylib.h>
3 #if defined(__cplusplus)
4 extern "C" {
5 #endif
7 struct barvinok_options;
9 Vector *Polyhedron_Integer_Minimum(Polyhedron *P, Value *obj,
10 Value min, Value max,
11 Matrix *misses, int *n_misses,
12 struct barvinok_options *options);
14 #if defined(__cplusplus)
16 #endif