资 源 简 介
Anagopos
We present Anagopos, a tool for visualizing reduction graphs of terms in lambda calculus and term rewriting. Anagopos allows step-by-step generation of reduction graphs under 6 different graph drawing algorithms.
Niels Bjørn Bugge Grathwohl, Jeroen Ketema, Jens Duelund Pallesen and Jakob Grue Simonsen
Executables
Debian based systems, e.g. Ubuntu
Install dependencies with the following command:
sudo apt-get install python-pyparsing python-opengl python-wxgtk2.8 python-pygraphviz python-numpy python-scipy
Download .deb package from: http://anagopos.googlecode.com/files/anagopos2.0-1i386.deb
Double click and install the aanagopos_2.0-1_i386.deb deb-package
or run:
sudo dpkg -i anagopos_2.0-1_i386.deb
It will now be placed under Applications -> Graphics -> Anagopos
Mac OS X
Install
