https://github.com/ajgadev/proyecto-ia-3

Modeling with MiniZinc
https://github.com/ajgadev/proyecto-ia-3

Last synced: about 1 month ago
JSON representation

Modeling with MiniZinc

• Host: GitHub
• URL: https://github.com/ajgadev/proyecto-ia-3
• Owner: ajgadev
• Created: 2015-06-19T05:08:11.000Z (over 9 years ago)
• Default Branch: master
• Last Pushed: 2015-06-23T02:04:14.000Z (over 9 years ago)
• Last Synced: 2024-05-04T13:35:40.454Z (8 months ago)
• Size: 152 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Proyecto-IA-3

Modeling with MiniZinc

2.mzn test example

start=[|

0, 0, 2, 0, 4, 0, 0,|

0, 5, 0, 0, 0, 2, 0,|

0, 0, 0, 0, 0, 0, 6,|

0, 7, 0, 0, 0, 5, 0,|

0, 0, 0, 0, 0, 0, 7,|

0, 6, 0, 0, 0, 4, 0,|

0, 0, 1, 0, 2, 0, 0,|]

3.mzn just run