package

ocaml5.2.0-pgsolver

Description

Collection of tools for generating, manipulating and - most of all - solving parity games.

Metadata

Version

4.1

License

Status

Source

pkgs/development/ocaml-modules/pgsolver/default.nix:18

Homepage

https://github.com/tcsprojects/pgsolver

Maintainers (1)

Merlin Humml