kb128_n5_obj14.dzn 39 Bytes
Edit Raw Blame History Permalink



1

2

3


n = 5;
objective = 14;
KEY_BITS = 128;