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();
System.out.println("Solving ended!");
if (solution != null) {
Map<String, Double> fsol = ficonv.convertCSPSolutionToFuzzyModel(solution);
solution.getSolution().putAll(trivialAssignments);
checkModel(clauses, fsol);