cascremers / scyther

The Scyther Tool for the symbolic analysis of security protocols
https://cispa.saarland/group/cremers/scyther/index.html
96 stars 38 forks source link

Create brew formula for scyther #28

Open cascremers opened 2 years ago

cascremers commented 2 years ago

It would be nice to be able to install Scyther through homebrew. This requires the creation of a proper brew recipe.