MiniZinc
MiniZinc support for Zed
LanguagesLanguage servers
How to install
With Forge Super installed, the button above opens the app on this extension, where you press Install. Nothing is installed until you do.
You can also open the Extensions panel in the app and search for MiniZinc. The extension's id is minizinc.
Don't have Forge Super yet? Download it here.