Skip to content

Ranking heuristics rework

Tim Luchterhand requested to merge ranking_heuristic_rework into main
  • Ranking heuristic interface now requires a function that selects a variable from two variables instead of calculating a score
  • unified duplicate code for Tightest, TightestValue, VSIDS and WeightedDegree

Merge request reports