Giters

maksverver / MSc

My Master's degree project: Practical Improvements to Parity Game Solving

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

My Master's degree project: Practical Improvements to Parity Game Solving

Languages

Language:C++ 82.3%Language:TeX 8.3%Language:Python 6.1%Language:Shell 2.7%Language:Makefile 0.4%Language:Perl 0.1%