The previous implementation represented excluded as an incoming conflict, thereby preventing the merging algorithm from grouping excludes together. This PR represents excluded as an outgoing conflict, which allows the merging algorithm to do its job. See the modified snapshot for details.
This addresses one of the issues in #9.
Below are some pictures of the internal graph, in case you are curious.
The previous implementation represented
excludedas an incoming conflict, thereby preventing the merging algorithm from grouping excludes together. This PR representsexcludedas an outgoing conflict, which allows the merging algorithm to do its job. See the modified snapshot for details.This addresses one of the issues in #9.
Below are some pictures of the internal graph, in case you are curious.
Before
After