Pedro Roque / PHACT_src

Blame view

Debug/src/csps/kb128_n5_obj11.dzn 39 Bytes
Edit Raw Normal View History
0c8ce2b0   Pedro Roque   missing files 
1
2
3
 
n = 5;
objective = 11;
KEY_BITS = 128;