[SML-Toolkit] Check transitive reduction removal
Closed this issue · 0 comments
sharispe commented
Check transitive reduction removal, i.e. change trgo to notrgo this is not clear as the documentation precise Do not perform a transitive reduction of the GO