#parity #determine #strategy #algorithm #game #algorithms #winners

nightly bin+lib prty

See ReadMe. An algorithm to determine the winners and strategy for parity games

1 unstable release

Uses old Rust 2015

0.1.1 Nov 1, 2018

#19 in #parity

MIT/Apache

120KB
4K SLoC

prty


This program solves parity games. It determines the winners and strategies.

How to run

Run prty [parity game.(txt/zip/bz2/gzip/dfl/lzma/br)]

Similar software

License

Dual-licensed.

Licensed under the Apache License, Version 2.0 http://www.apache.org/licenses/LICENSE-2.0 or the MIT license http://opensource.org/licenses/MIT, at your option. This project may not be copied, modified, or distributed except according to those terms.

Dependencies

~8–11MB
~212K SLoC