GITLAB

Pedro Roque / PHACT_src

Sign in
  • Sign in
  • Project
  • Files
  • Commits
  • Network
  • Graphs
  • Issues 0
  • Merge Requests 0
  • Wiki
  • phact_src
  • Debug
  • src
  • csps
  • open_stacks_tiny.dzn
  • 4d26a735   Increased recognition of the FlatZinc specification and improved performance. Browse Code ยป
    Pedro Roque
    2020-04-19 16:37:22 +0100  
open_stacks_tiny.dzn 309 Bytes
Edit Raw Blame History
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
c = 2;
p = 3;

orders = [| 1, 0, 1
          | 0, 0, 0
         |]
         
         
%c = 5;
%p = 9;

%orders = [| 1, 0, 1, 0, 1, 0, 1, 0, 0
%         | 1, 0, 0, 1, 0, 0, 1, 0, 0
%         | 0, 1, 1, 0, 1, 1, 0, 1, 0
%          | 0, 1, 0, 1, 0, 0, 0, 0, 1
%          | 0, 0, 0, 0, 0, 1, 0, 0, 1
%         |]