Example #1
0
 private void loadGolombRulerModel() {
   pe = new GolombRuler();
   pe.readArgs("-s", "4");
   createModel();
 }
Example #2
0
 private void loadQueenModel() {
   pe = new Queen();
   pe.readArgs("-n", "8");
   createModel();
 }
Example #3
0
 private void loadMagicSquareModel() {
   pe = new MagicSquare();
   pe.readArgs("-n", "3");
   createModel();
 }
Example #4
0
 private void createModel() {
   pe.buildModel();
   pe.solver = new CPSolver();
   pe.solver.read(pe.model);
   pe.solver.solveAll();
 }