Array .sum(): Sum Only Elements on Even Indexes

[chr_sue]

In reply to Mihai-Corneliu Cristescu:

Please try

constraint my_constraint {
    my_array.sum() with (64'(item * 2)) == _14GB;
}