Daniel Kocher
Results
1
issues of
Daniel Kocher
Implements the stride option `-l`, `--stride`, which performs an exponential search until the first bad state is encountered - we called this the _reasoning horizon_. **Outline** - Wrapped the existing...