- GDR -- A graph editing and graph algorithm animation tool. To download the current version, click here: GDR-1.2.9.tar.gz. This has added animations and bug fixes as of 2007/05/14. Current animations include: depth-first search, breadth-first search, biconnected components, two minimum spanning tree algorithms, shortest paths, state minimization
in finite automata, and bipartite graph edge crossing minimization.
The old K&R implementation is still available as GDR-1.0.
- Edge-crossing minimization software (based on the paper in JEA). To download: SBG_Software.tar.gz.
- ProofChecker -- a program for designing and proving correctness of finite-state automata. ProofChecker is accessible to both sighted and non-sighted users.
- Software related to experiments with min-cost satisfiability problems, as reported most recently in a paper in Exp2007:
- UmbraNova - software that implements int-dual (all-integer dual simplex), branch and bound, and local search, along with scripts to run the program on classes of instances
- CPLEX - a driver program and scripts to run CPLEX
- Utility scripts/programs - scripts and programs for translating formats, generating experimental data, etc.
A tarball including all of this software is 2007-ExpCS-Stallmann-Software.tar.gz, which creates a directory with the same name having a subdirectory for each of the three items listed above. This software can also be downloaded in zip format as 2007-ExpCS-Stallmann-Software.zip