kb128_n3_obj4.dzn 38 Bytes
Edit Raw Blame History Permalink



1

2

3


n = 3;
objective = 4;
KEY_BITS = 128;