[go: up one dir, main page]

package fadecider

  1. Overview
  2. No Docs
A package for deciding universality and subsumption of omega automata using Ramsey-based methods

Install 

dune-project
 Dependency

github.com Edit opam file Versions (1)

Authors

  1. O
    Oliver Friedmann
  2. F
    Felix Klaedtke
  3. M
    Martin Lange

Maintainers

  1. O
    Oliver Friedmann
  2. F
    Felix Klaedtke
  3. M
    Martin Lange

Sources

fadecider-0.7.tbz
sha256=7a27293d686ddd068a7247693ca8f48b524041ae6b6e9e40438571213bc3728b
sha512=020e418ec241463287b9d56c2a1b840a5f2f68892b703fe17427669be32225c8760751f588e5991cbffc96e9cd09204d4ecb77dfdcb0f6216b200419ded5a6ae

Description

A package for deciding universality and subsumption of omega automata using Ramsey-based methods.

Published: 14 Oct 2025

Dependencies (3)

  1. tcs-lib >= "0.6"
  2. dune >= "3.18"
  3. ocaml >= "4.8"

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts

None