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

Update verify.hh #4

Closed dmmolitor closed 3 years ago

dmmolitor commented 3 years ago

missing #include <string> leading to error

dmmolitor commented 3 years ago

Fixes the MacOS CI test.

ciaranm commented 3 years ago

Thanks