Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Fixed a potential infinite loop during missing group generation.
In particular, during the step where the code is searching for all child nodes that are subgraph isomorphic to a newly generated group, the function for isomorphic checks may misidentify two graphs as isomorphic even if their labeled atoms do not match. This will cause an inifinite loop where no matter how specific a newly generated group is, there will always be a child node that is subgraph isomorphic to it. This is resolved by turning the generate_initial_map option on.
- Loading branch information