Opam Package safa.1.4

Package info

opam-namesafa
opam-version1.4
synopsisSymbolic Algorithms for Finite Automata
description This OCaml library contains symbolic algorithms for checking language equivalence or inclusion of automata with a large alphabet, using symbolic representations (BDDs). It is described in the following paper, in Proc. POPL'15 http://doi.acm.org/10.1145/2676726.2677007 https://hal.archives-ouvertes.fr/hal-01021497v2/document This library can be used to obtain symbolic algorithms for Kleene algebra with tests (KAT), see library [symkat]
authors
  • Damien Pous <Damien.Pous@ens-lyon.fr>
homepagehttp://perso.ens-lyon.fr/damien.pous/safa/
licenseLGPL-3.0-only
deps (3)
revdeps (1)
metas (1)
libraries (1)

Package modules

Package sources

safa

Package files

lib/safa/trace.o
lib/safa/trace.cmx
lib/safa/trace.cmo
lib/safa/trace.cmi
lib/safa/stats.o
lib/safa/stats.cmx
lib/safa/stats.cmo
lib/safa/stats.cmi
lib/safa/sets.o
lib/safa/sets.cmx
lib/safa/sets.cmo
lib/safa/sets.cmi
lib/safa/safa.o
lib/safa/safa.cmxa
lib/safa/safa.cmx
lib/safa/safa.cmo
lib/safa/safa.cmi
lib/safa/safa.cma
lib/safa/safa.a
lib/safa/queues.o
lib/safa/queues.cmx
lib/safa/queues.cmo
lib/safa/queues.cmi
lib/safa/hset.o
lib/safa/hset.cmx
lib/safa/hset.cmo
lib/safa/hset.cmi
lib/safa/hmap.o
lib/safa/hmap.cmx
lib/safa/hmap.cmo
lib/safa/hmap.cmi
lib/safa/hashcons.o
lib/safa/hashcons.cmx
lib/safa/hashcons.cmo
lib/safa/hashcons.cmi
lib/safa/epsilon.o
lib/safa/epsilon.cmx
lib/safa/epsilon.cmo
lib/safa/epsilon.cmi
lib/safa/determinisation.o
lib/safa/determinisation.cmx
lib/safa/determinisation.cmo
lib/safa/determinisation.cmi
lib/safa/congruence.o
lib/safa/congruence.cmx
lib/safa/congruence.cmo
lib/safa/congruence.cmi
lib/safa/common.o
lib/safa/common.cmx
lib/safa/common.cmo
lib/safa/common.cmi
lib/safa/bdd.o
lib/safa/bdd.cmx
lib/safa/bdd.cmo
lib/safa/bdd.cmi
lib/safa/automata.o
lib/safa/automata.cmx
lib/safa/automata.cmo
lib/safa/automata.cmi
lib/safa/META
lib/safa