}
//IntegerToMinionConvertor imconv = new IntegerToMinionConvertor(defaultBound);
//MinionCSPProblem mProb = imconv.convertCSPToMinion(ficonv.convertToCSPProblem());
TailorSolver solv = new TailorSolver("tailorV0.3.2/tailor.jar",
"minion-0.10/bin/minion");
solv.read(ficonv.convertToCSPProblem());
System.out.println("Ok, read file. Now solving ...");
CSPSolution solution = solv.solve();
System.out.println("Solving ended!");
if (solution != null) {