GitHub - zzattack/smallprogressmeasures: C# implementation of the Small Progress Measures algorithm due to Jurdzinsky for Parity Game solving

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
SmallProgresMeasures		SmallProgresMeasures
.gitignore		.gitignore
SmallProgresMeasures.sln		SmallProgresMeasures.sln

About

C# implementation of the Small Progress Measures algorithm due to Jurdzinsky for Parity Game solving

No releases published