-
Simon de Givry authored
[option] new value ordering heuristic exploiting last solution found (solution-based phase saving). see option -solr
5f5f7fea
[option] new value ordering heuristic exploiting last solution found (solution-based phase saving). see option -solr