public void setHeuristic(ChocoHeuristic heuristic)
    {
        switch (heuristic)
        {
            case MIN_DOMAIN: {
                solver.setVarIntSelector(new MinDomain(solver, solver.getVar(model.getVariables())));
                break;
            }
            case DOM_OVER_WDEG: {
                solver.addGoal(new DomOverWDegBranchingNew(solver, solver.getVar(model.getVariables()),
                        new IncreasingDomain(), 1));
                break;
            }
            case DEFAULT: {
                // default heuristic
                break;
            }
        }
    }