def main() -> int: parser = argparse.ArgumentParser() parser.add_argument('data_file') args = parser.parse_args() with open(args.data_file) as f, timing('original'): print(compute(f.read())) with open(args.data_file) as f, timing('recursive'): print(compute_recursive(f.read())) return 0
def main() -> int: parser = argparse.ArgumentParser() parser.add_argument('data_file', nargs='?', default=INPUT_TXT) args = parser.parse_args() with open(args.data_file) as f: contents = f.read() with timing('sympy'): print(compute(contents)) with timing('z3'): print(compute_z3(contents)) with timing('loop'): print(compute_loop(contents)) return 0
def main() -> int: parser = argparse.ArgumentParser() parser.add_argument('data_file') args = parser.parse_args() with open(args.data_file) as f, timing('original'): print(compute(f.read())) with open(args.data_file) as f, timing('optimization 1'): print(compute_jump1(f.read())) with open(args.data_file) as f, timing('optimization 2'): print(compute_jump2(f.read())) with open(args.data_file) as f, timing('optimization 3'): print(compute_jump2(f.read())) return 0
def main() -> int: parser = argparse.ArgumentParser() parser.add_argument('data_file') args = parser.parse_args() with open(args.data_file) as f, timing(): compute(f.read()) return 0
def main() -> int: parser = argparse.ArgumentParser() parser.add_argument('data_file', nargs='?', default=INPUT_TXT) args = parser.parse_args() with open(args.data_file) as f, timing(): print(compute(f.read())) return 0