src/work/marci/top_sort.dim
2004-05-07 top-sort, dimacs mods.
2004-05-06 top-sort, for fezso's sake
2004-05-06 (none)