diff options
| author |  Pantazis Deligiannis <pdeligia@me.com> | 2013-08-19 11:20:18 +0100 |
|---|---|---|
| committer | Pantazis Deligiannis <pdeligia@me.com> | 2013-08-19 11:20:18 +0100 |
| commit | 133dac43b2d0daa022bfe26ab15bcdfaf75eae0e (patch) | |
| tree | 82705cc27b6d5d0c06212d7a006a9a30bcfe9ff0 /Source/ExecutionEngine | |
| parent | 819c1f07fe1e0244e14306ad1dee213a9a034f1e (diff) | |
new option for reversing the topological order - this could potentially help to speedup houdini refutation of candidates
Diffstat (limited to 'Source/ExecutionEngine')
0 files changed, 0 insertions, 0 deletions