//for (FuzzyClause c : clauses) {
// System.out.println(c);
//}
for (FuzzyClause c : clauses) {
ficonv.addFuzzyClause(c);
}
//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");