Descrição
Fornece suporte de utilitários para o Tamarin prover. Bibliotecas de utilitários reúnem auxiliares compartilhados usados pelo provador e por componentes relacionados de verificação formal.
É útil para desenvolvedores que mantêm o Tamarin ou pacotes construídos ao redor de sua pilha de análise de protocolos de segurança. A maioria dos usuários o verá apenas como dependência interna do ecossistema do provador.