next batch

This commit is contained in:
G.E
2024-05-17 00:08:37 +03:00
parent d78cfb922e
commit 7555d5cc96
24 changed files with 76 additions and 4 deletions

View File

@@ -674,9 +674,6 @@ u64a scoreSet(const set<ue2_literal> &s) {
u64a score = 1ULL;
auto cscore = [](u64a z, const ue2_literal &lit) { return z + calculateScore(lit); };
score += std::accumulate(s.begin(), s.end(), 0, cscore);
// for (const auto &lit : s) {
// score += calculateScore(lit);
// }
return score;
}