seal5.transform.optimize_instructions.optimizer

Optimize M2-ISA-R/Seal5 metamodel.

Functions

get_parser()
main(argv)
run(args)	Main app entrypoint.