Added functionality to automatically create an output directory if it does not exist
Added functionality to automatically create an output directory if it
does not exist
kg6/aig2qbf,kg6/aig2qbf,kg6/aig2qbf