/SAT-Graph-Mapping

Check to see if a mapping exists between 2 graphs (subgraph-isomorphism) by developing optimised SAT clauses and solving them using MINISAT.

Primary LanguageC++

Watchers