System.out.println("Ok, read file. Now solving ...");
CSPSolution solution = solv.solve();
System.out.println("Solving ended!");
if (solution != null) {
solution.getSolution().putAll(trivialAssignments);
Map<String, Double> fsol = ficonv.convertCSPSolutionToFuzzyModel(solution);
for (String key : fsol.keySet()) {
System.out.println(key + ": " + fsol.get(key));
}
if(checkModel(clauses, fsol)) {
System.out.println("Model found!");