Geek Repo
Github PK Tool:Github PK Tool
control flow graphs of C functions
The Cops and Robbers game on graphs
graph abstraction with low-level access (C++)
PACE2016 evaluator