diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2017-09-12 18:48:27 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-09-12 18:48:27 -0500 |
| commit | 51cab64a53daee8e6f2693f12911c71827013f15 (patch) | |
| tree | db037aaeee3d2c7d15b6395394e5df7ae47af4b7 /.travis.yml | |
| parent | b0d151fc69779c9e214d89683e005756a9834c2e (diff) | |
Initial infrastructure for BV instantiation via word-level inversions. (#1056)
* Initial infrastructure for BV instantiation via word-level inversions.
* Minor clean up.
* Change visited to unordered set.
Diffstat (limited to '.travis.yml')
0 files changed, 0 insertions, 0 deletions