com.exigen.ie.constrainer.Goal saveGoal = new GoalSaveSolution(this);
com.exigen.ie.constrainer.Goal totalGoal = new GoalAnd(goal,saveGoal);
IntExp cObj = (IntExp)objectiveVar.getImpl();
if ( objective.equals(Objective.MAXIMIZE) ) {
cObj = cObj.mul(-1);
}
// if (solver.getMaxNumberOfSolutions() > 0)
// constrainer.set
boolean trace = false;
boolean goal_saves_solution = true;