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
  • schurs_13_5.dzn
  • 4d26a735   Increased recognition of the FlatZinc specification and improved performance. Browse Code ยป
    Pedro Roque
    2020-04-19 16:37:22 +0100  
schurs_13_5.dzn 15 Bytes
Edit Raw Blame History
1 2
n = 13;
c = 5;