diff options
| author | Paul Duncan <pabs@pablotron.org> | 2019-01-21 17:11:37 -0500 |
|---|---|---|
| committer | Paul Duncan <pabs@pablotron.org> | 2019-01-21 17:11:37 -0500 |
| commit | 119e48bfa0f20686bc7cb0fd43323a7648aa598a (patch) | |
| tree | 4d48d08e0ee13158cd46a977e244161774e27a7a /levels | |
| parent | 4588b0ef57fb3fd8689cd1d241be9b00307baa1f (diff) | |
| download | sok-119e48bfa0f20686bc7cb0fd43323a7648aa598a.tar.bz2 sok-119e48bfa0f20686bc7cb0fd43323a7648aa598a.zip | |
use dead edges to improve solver speed
Diffstat (limited to 'levels')
0 files changed, 0 insertions, 0 deletions