implementation of an exact algorithm (+greedy heuristic) to edit a given digraph into a transitive one.