Este programa é uma biblioteca que contém tipos de protocolos de segurança e ferramentas para resolver restrições, projetadas especificamente para serem usadas com o Tamarin Prover. A linguagem de programação utilizada é Haskell. 