issues
search
ciaranm
/
glasgow-subgraph-solver
A solver for subgraph isomorphism problems, based upon a series of papers by subsets of McCreesh, Prosser, and Trimble.
MIT License
62
stars
23
forks
source link
Gbs
#17
Closed
KyleBurns
closed
1 year ago
KyleBurns
commented
1 year ago
Add symmetry breaking for when nogoods are disabled
Add symmetry breaking for when nogoods are disabled