diff --git a/gui/README.txt b/gui/README.txt new file mode 100644 index 0000000..665f60e --- /dev/null +++ b/gui/README.txt @@ -0,0 +1,22 @@ +Scyther + +The Scyther Tool: Automatic Verification of Security Protocols + + +- Linux/Windows + + Requirements: + + python www.python.org + wxPython www.wxpython.org + (c)elementtree elementtree + effbot.org/zone/element-index.htm (slower but more widely available) + celementtree effbot.org/zone/celementtree.htm (preferred) + graphviz www.graphviz.org + + Optional: + + Python Imaging Library www.pythonware.com/products/pil/ + + (It might be possible to include PIL in the sources) +