package pgsolver

  1. Overview
  2. Docs
A collection of tools for generating, manipulating and - most of all - solving parity games

Install 

dune-project
 Dependency

github.com Readme Changelog BSD-3-clause License Edit opam file Versions (3)

Authors

  1. O
    Oliver Friedmann
  2. M
    Martin Lange

Maintainers

  1. O
    Oliver Friedmann
  2. M
    Martin Lange

Sources

pgsolver-4.4.tbz
sha256=83e49699803a887bbf318425f5be02513976feba8f50e1c18c8f453046acfac2
sha512=4b7b05f175a5f07a312bc3249d0c82829d9ae3f428ed06fa79a26a32025cdaf653bb3d27ade1e715940cd45e15eac12f0b65594864de162f0cfd5c038de45320

doc/pgsolver/Mdp/index.html

Module Mdp

type generalized_mdp_node =
  1. | Controller of int array * string option
  2. | Randomizer of (Tcsmaths.BigFloat.t * int) array
  3. | Reward of Tcsmaths.BigFloat.t * int
  4. | Sink
type generalized_mdp = generalized_mdp_node array
val parity_game_to_generalized_mdp : Paritygame.paritygame -> int -> (int -> int -> bool) -> generalized_mdp
type mdp = ((Tcsmaths.BigFloat.t * Tcsmaths.BigFloat.t * int) array array * string option) array
val generalized_mdp_to_mdp : generalized_mdp -> mdp
val print_mdp : mdp -> unit
type lp_objective =
  1. | Maximize
  2. | Minimize
type lp_constraint_type =
  1. | LPEq
  2. | LPGeq
type lp = lp_objective * string option array * Tcsmaths.BigFloat.t array * (Tcsmaths.BigFloat.t array * Tcsmaths.BigFloat.t * lp_constraint_type * string option) array
val unichain_mdp_to_primal_lp : mdp -> lp
val unichain_mdp_to_dual_lp : mdp -> lp
val print_lp : lp -> unit