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 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

<a href="https://www.edivaldobrito.com.br////” rel=”noopener noreferrer” target=”_blank”>Veja mais artigos publicados neste dia…

Sobre o Edivaldo Brito

Edivaldo Brito é analista de sistemas, gestor de TI, blogueiro e também um grande fã de sistemas operacionais, banco de dados, software livre, redes, programação, dispositivos móveis e tudo mais que envolve tecnologia.

Deixe um comentário

Esse site utiliza o Akismet para reduzir spam. Aprenda como seus dados de comentários são processados.