Quantomatic
Quantomatic is an automated graph rewriting tool. It allows users to input and edit graphs visually, utilising “dot” and friends for automated layout. Once the graph is input, users can:
- Perform automated or assisted normalisation with respect to a customisable rewrite theory
- Export the graph as a matrix expression for symbolic manipulation in computer algebra systems like Mathematica
- Output LaTeX for inclusion of graphs and output in papers
Getting Quantomatic
The easiest way to get Quantomatic, if you have an Intel mac, is to download the dmg. This has only been tested on Leopard, but may work on Tiger. For Power PC or older versions of OS X, the application should be build-able using the instructions below.
The best way to get Quantomatic is to check it out from subversion and build it yourself. You can check out the latest sources with the following commands.
svn co https://isaplanner.svn.sourceforge.net/svnroot/isaplanner/trunk/isaplib isaplib
svn co https://isaplanner.svn.sourceforge.net/svnroot/isaplanner/trunk/quantomatic quantomaticYou can then use ant to build the application. Change directories into quantomatic/gui. From here, you have a couple of targets available. You will most likely want to use “ant jar” to build a stand-alone JAR file or “ant macapp” to build an OS X application. If you use the first, make sure you put the binary “quantomatic/core/bin/quanto_core” somewhere in your $PATH.
Attempts to build in windows have had mixed results. If you have some luck, let us know! The project page for Quantomatic is here.
