MiniZinc IDE 2.0.13 for Mac can be downloaded from our website for free. The application lies within Developer Tools, more precisely IDE. This free Mac application was originally produced by MiniZinc.
From the developer:
The MiniZinc IDE is a simple Integrated Development Environment for writing and running MiniZinc models. It provides a tabbed editor with MiniZinc syntax highlighting, configuration dialogs for solver options and model parameters, and an integrated environment for compiling models and running solvers.
You may want to check out more software for Mac, such as Wing IDE 101 or MPLAB X IDE, which might be similar to MiniZinc IDE.
IDE
IDE