?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
update isl for isl_pw_qpolynomial_bound_range
[barvinok/uuh.git] / initcdd.cc
blob154c1da0652b8c7444d13e3119c72ffff7d618ec
1 #include "initcdd.h"
2
3 int bv_cdd_initialized = 0;
patches by uuh to consider upstream