Pedro Roque / PHACT_src

Blame view

src/csps/kb128_n3_obj4.dzn 38 Bytes
Edit Raw Normal View History
94b2b13d   Pedro Roque   PHACT source 
1
2
3
 
n = 3;
objective = 4;
KEY_BITS = 128;