Skip to content

Instantly share code, notes, and snippets.

@AlexDaniel
Created June 10, 2018 13:42
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save AlexDaniel/8c3a9cf26a74df0adc2c5f6ed0be12eb to your computer and use it in GitHub Desktop.
Save AlexDaniel/8c3a9cf26a74df0adc2c5f6ed0be12eb to your computer and use it in GitHub Desktop.
spurt '0fc-log.lg-compress.txt', join “\n”, do hyper for '0fc-log.lg.txt'.IO.lines.hyper(:4degree, :10000batch) -> $line {
with $line.match(/^(<[0..9]>+)‘ = Verdict: ’(Intractable|Solved|Unsolved)‘ ; Iters: ’<[0..9]>+‘ ; Length: ’[<[0..9]>+|‘-’1]$/) {
“{.[1].substr(0,1)}\t{.[0]}”
}
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment