Esta biblioteca é projetada para ajudar com os processos de entrada no cálculo SAPIC para o provedor Tamarin. Ela é escrita em Haskell e é projetada para ser usada com o provedor Tamarin, permitindo que você trabalhe facilmente com esta ferramenta de prova. 