Ranking heuristics rework

Tim Luchterhandrequested 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