Skip to content

Port of NN based heuristic

Tim Luchterhand requested to merge nn_port into main

This merge request addresses the following changes

  • Restructured heuristic interface
    • New interface takes solver as argument and produces a literal
    • decoupled heuristics factories from solver
  • Ported NN code from schedcl

Merge request reports