parity_games_solving

Python code for implementing algorithms solving parity games

Name		Name	Last commit message	Last commit date
Latest commit History 39 Commits
drawings/test1		drawings/test1
instances		instances
some_plots		some_plots
.gitignore		.gitignore
README.md		README.md
draw_tests.py		draw_tests.py
energy_executions.py		energy_executions.py
energy_progress_measures.py		energy_progress_measures.py
games.py		games.py
generate_instances.py		generate_instances.py
main.py		main.py
parity_executions.py		parity_executions.py
parity_progress_measures.py		parity_progress_measures.py
plots.py		plots.py
plots2.py		plots2.py
run_algorithms.py		run_algorithms.py
transcript.py		transcript.py
trees.py		trees.py
util.py		util.py

Provide feedback