diff options
| author | Charlie Stanton <charlie@shtanton.xyz> | 2022-12-23 15:53:24 +0000 |
|---|---|---|
| committer | Charlie Stanton <charlie@shtanton.xyz> | 2022-12-23 15:53:24 +0000 |
| commit | c19df3ff75e7693e38940f20a5f3b40931be424a (patch) | |
| tree | 5af34ca9683f3b66f3506a5e53df5e0cfd541b81 /0a8690993d572a50b95dd4f1c1903ed00ddb9c2b.html | |
| parent | fb1f51d1da22f34509cf3fe1d174296d36a0f0ad (diff) | |
| download | subex-c19df3ff75e7693e38940f20a5f3b40931be424a.tar | |
Changes main to read input from stdin. Prunes states that won't wouldn't ever reach the front of the state priority queue.
Diffstat (limited to '0a8690993d572a50b95dd4f1c1903ed00ddb9c2b.html')
0 files changed, 0 insertions, 0 deletions