https://github.com/dekker1/zed-minizinc

MiniZinc language support for Zed
https://github.com/dekker1/zed-minizinc

minizinc zed

Last synced: about 2 months ago
JSON representation

MiniZinc language support for Zed

• Host: GitHub
• URL: https://github.com/dekker1/zed-minizinc
• Owner: Dekker1
• License: mit
• Created: 2024-03-28T03:45:49.000Z (10 months ago)
• Default Branch: develop
• Last Pushed: 2024-04-11T09:42:42.000Z (9 months ago)
• Last Synced: 2024-10-13T11:29:53.776Z (3 months ago)
• Topics: minizinc, zed
• Homepage:
• Size: 1.95 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# Zed MiniZinc

A MiniZinc extension for Zed