Java IntStrategyFactory.minDom_LB Examples

Example #1

File: Eq20.java Project: HilmiHB/choco3

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

Example #2

File: Sudoku.java Project: sfurlow/choco3

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