diff options
| author | Justin Worthe <justin@worthe-it.co.za> | 2018-07-22 22:15:46 +0200 |
|---|---|---|
| committer | Justin Worthe <justin@worthe-it.co.za> | 2018-07-22 22:15:46 +0200 |
| commit | b099be3c38b6754ec4f0c962d7bbe188e69f9c95 (patch) | |
| tree | 3dcf1526e00414924c8c12de4ac0a48893ba5b49 /.gitignore | |
| parent | a1fe6b65f6f4178b4a0b724ee6524da650fd2ef1 (diff) | |
Naive implementation of depth first walk of the state space
This does not run in a time that terminates in human time I think.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions