Allow write_lakeroad
backend to write output to file instead of stdout.
#53
Job | Run time |
---|---|
27s | |
6m 58s | |
7m 25s |
write_lakeroad
backend to write output to file instead of stdout.
#53
Job | Run time |
---|---|
27s | |
6m 58s | |
7m 25s |