33343536373839
/** to set the concrete solver */ private ConcreteSolver createConcreteSolver(int n){ // if (n==GECODEJ) // return new GecodeJ(); return new JSolver(); }