how to generate the ddnnf_0303\ddnnf_0306\ddnnf_0606 data according to dnnf2data.py?

[TomersHan]

with Pool() as p: for _ in tqdm(p.uimap(_worker, os.listdir(in_dir)), total=len(os.listdir(in_dir))): pass according to the mention program, I generrate empty ddnnf_0306 data

[Strawmaaaaaan]

You may not run the file "c2d_linux" correctly