Descrição
Funções lógicas booleanas podem ser minimizadas em representações equivalentes mais simples para projeto digital, verificação ou trabalho acadêmico.
É uma ferramenta de linha de comando para minimização lógica. Ela é útil para engenheiros, estudantes e pesquisadores que trabalham com descrições lógicas no estilo PLA, não para uso cotidiano de desktop.