コード例 #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)));
 }