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.

Ads Blocker Image Powered by Code Help Pro

Bloqueador de anúncios detectado!!!

Nosso site precisa de publicidade para existir. Por favor, insira-o na lista de permissões/lista branca para liberar a exibição de anúncios e apoiar nosso site. Nosso conteúdo é GRATUITO, e tudo o que pedimos é isso!
Powered By
Best Wordpress Adblock Detecting Plugin | CHP Adblock