GITLAB
Pedro Roque
/
PHACT_src
Toggle navigation
Sign in
Sign in
Project
Files
Commits
Network
Graphs
Issues
0
Merge Requests
0
Wiki
master
0c8ce2b07a7e83902ee0d3d5e79bde777218d47d
phact_src
src
csps
kb128_n5_obj14.dzn
94b2b13d
PHACT source
Browse Code ยป
Pedro Roque
2019-11-30 11:43:56 +0000
kb128_n5_obj14.dzn
39 Bytes
Edit
Raw
Blame
History
1
2
3
n = 5; objective = 14; KEY_BITS = 128;