57585960616263
// constSyst=new GecodeJTermSystem(n,pa,format); // break; // default: // constSyst=new JSolverTermSystem(n,pa,format); // } constSyst=new JSolverTermSystem(n,pa,format); }