Extra tools

Scripts to manipulate files generated by Ticktac project tools.

dot2dot is a tool to add/update attributes on nodes, edges and graphs represented in the DOT/graphviz file format.
benchtools is a set of tools to run benchmarks and build LaTeX tables from the statistics output by TChecker tools