PROLOG with constraints, library fd and Eclipse

[std10093]

I want to find the max element of a list with expressions, which are formed like this:

[3 * (1 - _636{[0, 1]}),...]

As you can see the variable _636 is constrained, with the domain to be [0,1], which holds true for the other variables too.

I have tried a lot of thing, like the max predicate of the kernel, maxlist of fd_global, I am inserting and removing eval from places to places again and again, but no result. Error always occur and if it is not, is when I use maxlist and it fails. Any ideas?

If I set the max element, manually, then everything works, so I suppose the problem is there (in finding the max element).

Predicates link.

[std10093]

Solved! I had to make another list, that would hold all the expressions and use the #=.