public Map<String, Double> findFuzzyModel() {
for (int numberOfDegrees = 1;!timesUp(); numberOfDegrees++) {
EnumeratedChocoSolver solv = new EnumeratedChocoSolver(numberOfDegrees, new HashMap(),k);
for (FuzzyClause fc : constraints) {
solv.addFuzzyClause(fc);
}
/*Map<String, Double> model = solv.getModel();
model.putAll(trivialAssignments);
if (model != null){