TomersHan

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

1

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