Closed rdube closed 7 years ago
As discussed in #12, this is to make the filtering of duplicates more efficient. Using the unordered_map is indeed much quicker.
This is sooo much quicker that it will get merged right away! :)
As discussed in #12, this is to make the filtering of duplicates more efficient. Using the unordered_map is indeed much quicker.