Pedro Roque / PHACT_src

Blame view

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