this code execute Podem algorithm for generate test vector of circuit.you can give to it netlist with format that set in netlist.txt and execute it.test vectors are saved in output.txt.