6 lines
255 B
Plaintext
6 lines
255 B
Plaintext
Oink is an modern implementation of parity game solvers written in C++. Oink
|
|
aims to provide high-performance implementations of state-of-the-art algorithms
|
|
representing different approaches to solving parity games.
|
|
|
|
WWW: https://github.com/trolando/oink
|