예제 #1
0
파일: Eq20.java 프로젝트: HilmiHB/choco3 
 @Override
 public void configureSearch() {
   solver.set(IntStrategyFactory.minDom_LB(vars));
 }
예제 #2
0
파일: Sudoku.java 프로젝트: sfurlow/choco3 
 @Override
 public void configureSearch() {
   solver.set(IntStrategyFactory.minDom_LB(ArrayUtils.append(rows)));
 }