Pedro Roque / PHACT_src

Blame view

Debug/src/csps/cryptanalysis_128_5_14.dzn 38 Bytes
Edit Raw Normal View History
4d26a735   Pedro Roque   Increased recogni... 
1
2
3
 
n = 5;
objective = 14;
KEY_BITS = 128;