Esempi in Java per IntStrategyFactory.minDom_LB

Esempio n. 1

File: Eq20.java Progetto: HilmiHB/choco3

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

Esempio n. 2

File: Sudoku.java Progetto: sfurlow/choco3

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