diff options
author | Ziv Scully <ziv@mit.edu> | 2015-11-19 18:13:01 -0500 |
---|---|---|
committer | Ziv Scully <ziv@mit.edu> | 2015-11-19 18:13:01 -0500 |
commit | ff19a9c86b380918f50e294848be06f29b2ba1dd (patch) | |
tree | b085c4af87bc8dbb854754793c6968f3a6b3c395 /src/settings.sml | |
parent | 94b1dbce1ae20ded6b2e8cc519f56ac9e3b39b24 (diff) |
More work on heuristics.
Diffstat (limited to 'src/settings.sml')
0 files changed, 0 insertions, 0 deletions