for (FuzzyClause c : clauses) {
ficonv.addFuzzyClause(c);
}
IntegerToMinionConvertor imconv = new IntegerToMinionConvertor(defaultBound);
MinionCSPProblem mProb = imconv.convertCSPToMinion(ficonv.convertToCSPProblem());
MinionSolver solv = new MinionSolver("/home/jeroen/programming/minion-0.10/bin/minion");
System.out.println("Reading file...");
solv.read(mProb);
System.out.println("Ok, read file. Now solving ...");
CSPSolution solution = solv.solve();