/ocaml-ba

Ocaml library for Buchi automata

Primary LanguageOCamlISC LicenseISC

Watchers