/Graph_Subset_SAT

Modelling of a Subgraph Isomorphism problem to be solved by a SAT Solver

Primary LanguageC++

Watchers