Java IntStrategyFactory.minDom_LB示例

示例#1

文件： Eq20.java 项目： HilmiHB/choco3

 @Override
 public void configureSearch() {
   solver.set(IntStrategyFactory.minDom_LB(vars));
 }

示例#2

文件： Sudoku.java 项目： sfurlow/choco3

 @Override
 public void configureSearch() {
   solver.set(IntStrategyFactory.minDom_LB(ArrayUtils.append(rows)));
 }