Tamarin with GUI works under Windows 10

[felixlinker]

You can quite easily get tamarin with GUI working under Windows 10. You have to use the Windows Subsystem for Linux (https://docs.microsoft.com/de-de/windows/wsl/install-win10).

This was my workflow:

$ wsl
$ sudo apt-get update
$ sudo apt-get graphviz maude
$ wget https://github.com/tamarin-prover/tamarin-prover/releases/download/1.4.1/tamarin-prover-1.4.1-linux64-ubuntu.tar.gz
$ tar -xvzf tamarin-prover-1.4.1-linux64-ubuntu.tar.gz
$ ./tamarin-prover interactive .

I'm happy to add this to the introduction (https://github.com/tamarin-prover/manual/blob/master/src/002_installation.md) if you'd like.