Integrated development environment for the high-level constraint modelling language MiniZinc.
Descrição do desenvolvedor (inglês)
O que é MiniZinc IDE?
Publicado por Data61 and Monash University, MiniZinc IDE é um software de código aberto para Windows que aparece na categoria IDEs e editores de código. Foi escrito em C++.
Instalação e requisitos
O desenvolvedor disponibiliza instaladores EXE (Inno Setup) para Windows 64 bits. A instalação pede permissão de administrador. A instalação silenciosa é possível com os parâmetros documentados do instalador.
Atualizações e histórico de versões
A versão atual é a 2.10.1, lançada em 31 de agosto de 2026. O histórico vai até 4 de maio de 2025: 8 versões, todas com link para os arquivos oficiais. Isso dá cerca de 6 versões por ano.
Popularidade e tipos de arquivo
O código-fonte no GitHub (MiniZinc/MiniZincIDE) tem 180 estrelas. No Windows, registra 4 tipos de arquivo, como .dzn, .fzn, .mzn e .mzp. Entre os programas parecidos estão RStudio, OpenCode e Apache NetBeans.
Descrição do projeto no GitHub: “The MiniZinc IDE”
Pontos positivos / Pontos negativos
Pontos positivos
- Código aberto: qualquer pessoa pode revisar e compilar o código
- Instalação silenciosa documentada
- Atualizações frequentes (cerca de 6 por ano)
Pontos negativos
- Sem versão nativa ARM64
- A instalação exige permissão de administrador
Em resumo: MiniZinc IDE é um programa de código aberto da categoria IDEs e editores de código, disponível para PCs 64 bits. Recebe atualizações com frequência. Administradores de TI podem implantá-lo sem interação do usuário.
É seguro baixar MiniZinc IDE?
- O arquivo vem de github.com, o domínio do próprio desenvolvedor
- O link de download usa HTTPS
- Há um hash SHA256 publicado para você verificar o arquivo:
DAE59D3E9648BA72A28EB115C3271CC5E19A309E26B46523C2F6A5A3B4CEA200· Abrir o relatório do VirusTotal para este hash - O link ainda não foi verificado
- O código-fonte é público
- O ExeAtlas não hospeda, encapsula nem modifica instaladores
Guia relacionado: Como verificar o hash SHA256 de um arquivo no Windows
Versões recentes
Todas as 8 versões ›8 versões em 1 ano · cerca de 6 por ano
| Versão | Data | Tamanho | Arquivos |
|---|---|---|---|
| 2.10.1Atual | 31 de agosto de 2026 | — | 64 bits EXE (Inno Setup)64 bits EXE (Inno Setup) |
| 2.10.0 | 23 de julho de 2026 | — | 64 bits EXE (Inno Setup)64 bits EXE (Inno Setup) |
| 2.9.7 | 30 de abril de 2026 | — | 64 bits EXE (Inno Setup)64 bits EXE (Inno Setup) |
| 2.9.6 | 24 de abril de 2026 | — | 64 bits EXE (Inno Setup)64 bits EXE (Inno Setup) |
| 2.9.5 | 23 de janeiro de 2026 | — | 64 bits EXE (Inno Setup)64 bits EXE (Inno Setup) |
| 2.9.4 | 29 de setembro de 2025 | — | 64 bits EXE (Inno Setup)64 bits EXE (Inno Setup) |
| 2.9.3 | 23 de maio de 2025 | — | 64 bits EXE (Inno Setup)64 bits EXE (Inno Setup) |
| 2.9.2 | 4 de maio de 2025 | — | 64 bits EXE (Inno Setup)64 bits EXE (Inno Setup) |
Instalar pela linha de comando
Instalação silenciosa ›winget install --id MiniZinc.MiniZincIDE -eMiniZincIDE-2.10.1-x86_64-windows-setup.exe /VERYSILENT /SUPPRESSMSGBOXES /NORESTART /SP-Guia relacionado: Como usar o winget: instalar e atualizar programas
Também para outros sistemas
brew install --cask minizincideInformações
- Desenvolvedor
- Data61 and Monash University
- Categoria
- IDEs e editores de código
- Licença
- MPL-2.0
- Preço
- Grátis
- Código-fonte
- github.com/MiniZinc/MiniZincIDE
- Linguagem
- C++
- Requisitos
- Windows 11 / 10
- Arquitetura
- 64 bits
- Instalador
- EXE (Inno Setup)
- Versão
- 2.10.1
- Lançamento
- 31 de agosto de 2026
- Adicionado ao catálogo
- 4 de maio de 2025
- Versões registradas
- 8
- Atualizações por ano
- 6
- Estrelas no GitHub
- 180
- Forks no GitHub
- 28
- Site oficial
- minizinc.org
- ID do winget
- MiniZinc.MiniZincIDE
Tipos de arquivo que abre (4)
Avaliações
Ainda não há avaliações. Seja o primeiro a dar uma nota.
Alternativas para MiniZinc IDE
Ver tudo ›-
Código aberto705,1 mil ↓ -
Código aberto285,2 mil ↓ -
Código aberto88,8 mil ↓ -
Código aberto4,9 mi ↓ -
Código aberto49,7 mil ↓ -
Código aberto394,5 mil ↓ -
Código aberto94,6 mil ↓ -
Código aberto79,2 mil ↓
Perguntas frequentes
MiniZinc IDE é grátis?
Sim. MiniZinc IDE é um software de código aberto com licença MPL-2.0.
É seguro baixar MiniZinc IDE?
O download vem de github.com, um domínio do próprio desenvolvedor. O ExeAtlas não hospeda nem altera o arquivo. Você pode comparar o hash SHA256 do arquivo com o que aparece aqui ou abrir o relatório do VirusTotal para esse hash.
Como instalar MiniZinc IDE pelo winget?
Abra o PowerShell ou o Terminal do Windows e rode o comando winget mostrado nesta página. O winget baixa o instalador oficial e confere o hash SHA256 antes de executá-lo.
Dá para instalar MiniZinc IDE em modo silencioso?
Sim. A página de instalação silenciosa traz o comando exato para cada instalador.
MiniZinc IDE roda em ARM (Windows on Arm)?
Não há versão ARM64; o Windows 11 on Arm consegue rodar a versão 64 bits por emulação.
Onde baixar versões antigas de MiniZinc IDE?
A página de versões lista as 8 versões com links para os instaladores oficiais, desde 4 de maio de 2025.
Dá para usar MiniZinc IDE sem permissão de administrador?
Sim, existe um instalador por usuário que não precisa de permissão de administrador.
Quais são as alternativas para MiniZinc IDE?
RStudio, OpenCode, Apache NetBeans, Node.js (LTS) e Haxe. A página de alternativas faz a comparação.
