sapic

The Tamarin prover for security protocol analysis

Arch Arch Linux
RUN pacman -S --noconfirm tamarin-prover
click the source code to copy install sapic on any operating system with command-not-found.com