FICHA · AUR

barvinok

Biblioteca para contar pontos inteiros em politopos paramétricos e não paramétricos

  • math-library
  • LIBRARY
  • Linha de comando
  • SCIENCE
  • Abre direto
  • Roda no terminal
codex · reviewed · 30 de mai. de 2026 descrição em pt-br · fallback

Descrição

Pontos inteiros dentro de politopos matemáticos podem ser contados para problemas de pesquisa e otimização. É útil para desenvolvedores e pesquisadores que trabalham com combinatória, computação simbólica, análise de compiladores ou contagem paramétrica.

É principalmente uma biblioteca e um conjunto especializado de ferramentas de linha de comando. Não é útil para tarefas comuns de desktop, a menos que outro pacote científico ou de desenvolvimento dependa dele.

Como rodar

barvinok

Comandos: barvinok

Permissões

Permissões ainda não analisadas para esta fonte.