graph-coloring

A graph-coloring library in python.

(c) Jose Antonio Martin H. jamartinh@fdi.ucm.es

Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
README.md		README.md
bipartite_basic.py		bipartite_basic.py
coloring_tools.py		coloring_tools.py
graph_generators.py		graph_generators.py
graphcoloring.py		graphcoloring.py
graphio.py		graphio.py
graphoperators.py		graphoperators.py
pathsearch.py		pathsearch.py
planarity_test.py		planarity_test.py
planegraphs.py		planegraphs.py
reduce3col.py		reduce3col.py
reductions.py		reductions.py
sat.py		sat.py
testutil.py		testutil.py
verify_coloring.py		verify_coloring.py
verify_planarity.py		verify_planarity.py
verify_uncoloring.py		verify_uncoloring.py
verify_witness.py		verify_witness.py

Navigation Menu