barvinok 0.32.1
[barvinok.git] / initcdd.cc
blob154c1da0652b8c7444d13e3119c72ffff7d618ec
1 #include "initcdd.h"
3 int bv_cdd_initialized = 0;