}
throw new UnsupportedOperationException();
}
public static void main(String[] args) {
FuzzyBinaryExpression exp1 = new FuzzyBinaryExpression(new FuzzyVariableExpression("x"),
new FuzzyVariableExpression("y"), new TW());
FuzzyBinaryExpression exp2 = new FuzzyBinaryExpression(exp1, new FuzzyVariableExpression("z"), new SW());
// FuzzyExpression exp1 = new FuzzyVariableExpression("x");
FuzzyClause fc1 = new FuzzyClause(new FuzzyLiteral(0.7, 0.7, exp1));
FuzzyClause fc2 = new FuzzyClause(new FuzzyLiteral(0.5, 0.9, new FuzzyVariableExpression("y")));
FuzzyClause fc3 = new FuzzyClause(new FuzzyLiteral(0.2, 0.4, new FuzzyVariableExpression("y")));
ChocoSolver solver = new ChocoSolver(10);
solver.addFuzzyClause(fc1);
solver.addFuzzyClause(fc2);
solver.addFuzzyClause(fc3);
System.out.println(solver.model.constraintsToString());