Como instalar a linguagem e a IDE MiniZinc no Linux via Snap

Trabalha com constraint satisfaction e quer um ambiente de desenvolvimento? Veja como instalar a linguagem e a IDE MiniZinc no Linux via Snap!

Se você trabalha com constraint satisfaction e quer um ambiente de desenvolvimento, conheça e veja como instalar a linguagem e a IDE MiniZinc no Linux via Snap.


Na inteligência artificial e na pesquisa operacional, a satisfação com restrições é o processo de encontrar uma solução para um conjunto de restrições que impõem condições que as variáveis ​​devem satisfazer.
Como instalar a linguagem e a IDE MiniZinc no Linux via Snap
Como instalar a linguagem e a IDE MiniZinc no Linux via Snap

Você pode usar MiniZinc para modelar satisfação com restrições e problemas de otimização de uma maneira de alto nível, independente do Solver, aproveitando uma grande biblioteca de restrições predefinidas.

Seu modelo é então compilado em FlatZinc, uma linguagem de entrada solver que é compreendida por uma ampla gama de solvers.

Já a IDE MiniZinc é um ambiente de desenvolvimento integrado simples para escrever e executar modelos MiniZinc.

Ele fornece um editor tabulado com realce de sintaxe MiniZinc, diálogos de configuração para opções de solver e parâmetros de modelo e um ambiente integrado para compilar modelos e executar resolvedores (solvers).

Como instalar a linguagem e a IDE MiniZinc no Linux via Snap em distros que suportam a tecnologia

Para instalar a linguagem e a IDE MiniZinc no Linux via Snap você precisa ter o suporte a essa tecnologia instalado em seu sistema. Se não tiver, use o tutorial abaixo para instalar:

Como instalar o suporte a pacotes Snap no Linux

Depois, você pode instalar a linguagem e a IDE MiniZinc no Linux via Snap, fazendo o seguinte:

Passo 1. Abra um terminal;
Passo 2. Instale a versão estável do programa, usando esse comando:

sudo snap install minizinc --classic

Passo 3. Instale a versão candidate do programa, usando esse comando:

sudo snap install minizinc --candidate --classic

Passo 4. Instale a versão beta do programa, usando esse comando:

sudo snap install minizinc --beta --classic

Passo 5. Instale a versão edge do programa, usando esse comando:

sudo snap install minizinc --edge --classic

Passo 6. Mais tarde, se você precisar atualizar o programa, use:

sudo snap refresh minizinc

Passo 7. Depois, se for necessário, desinstale o programa, usando o comando abaixo;

sudo snap remove minizinc

Pronto! Agora, você pode iniciar o programa no menu Aplicativos/Dash/Atividades ou qualquer outro lançador de aplicativos da sua distro, ou digite minizinc ou em um terminal, seguido da tecla TAB.

O que está sendo falado no blog

Ajude a manter o Blog do Edivaldo - Faça uma doação

Se você gosta do conteúdo do Blog, você pode ajudar a manter o site simplesmente fazendo uma doação única, esporádica ou mensal, usando uma das opções abaixo:

Doação usando Paypal

Doação usando PagSeguro
Outras formas de ajudar a manter o Blog do Edivaldo



blog comments powered by Disqus