CGraph is a tool for translating CNF formulas in DIMACS format into variable incidence graphs in GraphML format.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool