Working out the graph subset mapping using SAT modelling
Primary LanguageC++
Poorva Garg Rajbir Malik