Available software:

• GDR -- A graph editing and graph algorithm animation tool. To download the current version, click here: GDR-1.2.9.zip. 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.

• Two-Layer edge-crossing minimization software (see Heuristics, Experimental Subjects, and Treatment Evaluation in Bigraph Crossing Minimization in JEA, 2001). To download: SBG_Software.tar.gz.

• Multilayer edge-crossing minimizartion software (see A Heuristic for Bottleneck Crossing Minimization and its Performance on General Crossing Minimization: Hypothesis and Experimental Study in JEA, 2012). To download: MinCrossings.zip
  Instructions for installation and licensing information.

• 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