MiniZincIDE

MiniZincIDE 是编程开发里比较常用的一款，日常用起来比较稳。页面上的安装包对应 macOS，当前版本 当前稳定版，包体约 见页面。上手门槛不高，常用功能都在明面上。我们这边只走官方源，不做任何二次打包，安装包干净是底线。安装包取自官方发布源，未做二次打包。MiniZincIDE 的安装包不大，装完占用也算克制。需要长期使用的话，建议固定一个版本别频繁换。