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
