Giters

malikrajbir / Graph_Subset

Working out the graph subset mapping using SAT modelling

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Graph Subset

Solving graph subset problem by SAT modelling

Poorva Garg Rajbir Malik

About

Working out the graph subset mapping using SAT modelling

Languages

Language:C++ 77.5%Language:Python 19.9%Language:Shell 1.9%Language:Makefile 0.7%