benchmark_steinlib.bash
dpt_planarizer
dpt_planarizer_random
dpt_planarizer_wilson
get_graph_char
ogdf_mps_cactus
ogdf_mps_fast
output_steinlib_*
steinlib.txt