package pgsolver

You can search for identifiers within the package.

in-package search v0.2.0

A collection of tools for generating, manipulating and - most of all - solving parity games

Install

dune-project

Dependency

sha256=83e49699803a887bbf318425f5be02513976feba8f50e1c18c8f453046acfac2

sha512=4b7b05f175a5f07a312bc3249d0c82829d9ae3f428ed06fa79a26a32025cdaf653bb3d27ade1e715940cd45e15eac12f0b65594864de162f0cfd5c038de45320

type compact_sol_strat =
  (Paritygame.node * Paritygame.player * Paritygame.node) list

val compact_sol_strat_to_sol_strat : 
  Paritygame.paritygame ->
  compact_sol_strat ->
  Paritygame.solution * Paritygame.strategy

val find_useful_self_cycles : Paritygame.paritygame -> compact_sol_strat

val solve_cycle_scc : 
  Paritygame.paritygame ->
  Paritygame.solution * Paritygame.strategy

val solve_single_player_scc : 
  Paritygame.paritygame ->
  Paritygame.player ->
  Paritygame.solution * Paritygame.strategy

val solve_single_parity_scc : 
  Paritygame.paritygame ->
  Paritygame.player ->
  Paritygame.solution * Paritygame.strategy

val compute_winning_nodes_for_direct : 
  Paritygame.paritygame ->
  Paritygame.player ->
  Paritygame.solution * Paritygame.strategy

val compute_winning_nodes_direct : 
  Paritygame.paritygame ->
  Paritygame.strategy ->
  Paritygame.player ->
  Paritygame.node list