Commit Graph

1 Commits

Author SHA1 Message Date
Geza Lore
8de21e9bb7 Document and ensure OrderGraph is bipartite
Minor refactoring and documentation. No functional change.
2022-08-31 16:52:05 +01:00