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