?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
update isl to version 0.11
[barvinok.git] / initcdd.cc
blob154c1da0652b8c7444d13e3119c72ffff7d618ec
1 #include "initcdd.h"
2
3 int bv_cdd_initialized = 0;
lattice point enumeration library