Skip to content
Commit 505c383b authored by Christoph Schwering's avatar Christoph Schwering
Browse files

Grounder::TermSet, Grounder::LiteralSet are now std::unordered_sets. 

In a short Minesweeper test (50 16x16/40 games), this meant a 15%
speedup.
parent b4bbf5fe
Show whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment