Skip to content

Implemented VSIDS heuristic

Tim Luchterhand requested to merge VSIDS_heuristic into master
  • Implemented VSIDS heuristic
  • Added HeurisitcManager to support further different heuristics in the future
  • configured project with cmake

Merge request reports