WebHIGHS — Programação Linear

Tempo máximo de resolução (segundos) Em vazio = sem limite. Ao atingir o tempo, o HiGHS retorna a melhor solução encontrada até então.

Gap relativo aceitável — PLI (%) Encerra ao chegar perto do ótimo por essa margem. Padrão do HiGHS: 0,01%.

Gap absoluto aceitável — PLI Mesma ideia do gap relativo, mas em unidades do valor objetivo.

Esforço de heurísticas — PLI (0 a 1) Fração do tempo dedicada a heurísticas para achar soluções inteiras rapidamente. Padrão: 0,05.

Pré-processamento (presolve)

Algoritmo (LP)

Paralelismo

Número de threads

Semente aleatória (random seed) Útil para reproduzir o mesmo resultado em modelos com múltiplas soluções ótimas.

Sobre mim

Alexandre Checoli Choueiri (alexandrechecoli@ufpr.br)

Sou professor do curso de Engenharia de Produção da Universidade Federal do Paraná (UFPR), e ministro a disciplina de programação linear. Desenvolvi esse aplicativo baseado no programa GUSEK (desenvolvido pelo professor Leandro Magatão e Luiz Betoni) para visualização de modelos de otimização. A ideia principal é usar em aulas, porém pode ser usado para resolver problemas reais (respeitando a limitação de memória do navegador).

Sobre o projeto

WebHIGHS é um editor e resolvedor de modelos de Programação Linear (PL) e Programação Linear Inteira (PLI), no formato CPLEX LP, que roda inteiramente no navegador — sem precisar instalar nada ou enviar o modelo para um servidor.

Tecnologias e referências

Gusek — IDE para GLPK (GNU Linear Programming Kit), com editor de modelos e visualização de resultados. Foi a inspiração para a criação deste aplicativo.
gusek.sourceforge.net
HiGHS — solver de otimização linear, inteira-mista e de programação quadrática, de código aberto, que faz toda a resolução dos modelos.
highs.dev
highs-js — compilação do HiGHS para WebAssembly, o que permite rodar o solver inteiro dentro do navegador.
github.com/lovasoa/highs-js
CodeMirror 5 — editor de texto com numeração de linhas, destaque de sintaxe e temas de cores.
codemirror.net/5
GLPK — tradutor de modelos GNU MathProg (GMPL) para o formato LP, usado neste app para dar suporte à linguagem de modelagem algébrica.
gnu.org/software/glpk
Claude (Anthropic) — assistente de IA muito usado no desenvolvimento deste aplicativo...na verdade mesmo, trabalhei como um gerente geral do Claude.
claude.ai

Selecione uma pasta com arquivos .lp e/ou .mod. Cada arquivo é resolvido na ordem, sem alterar suas abas abertas, e o resultado (status, valor objetivo e tempo) fica numa tabela que pode ser exportada em CSV.

Arquivo	Status	Valor objetivo	Tempo (s)