Up – Package index » pgsolver » Library pgsolver » Localmodelchecker

Module `Localmodelchecker`

val partially_solve : Paritygame.partial_solver

val solve : Paritygame.global_solver

val register : unit -> unit