%%VERSION%%
Buchi_automaton is distributed under the ISC license.
Homepage: https://github.com/vasil-sd/ocaml-ba
bitset can be installed with opam:
opam install ocaml-ba
If you don't use opam consult the opam file for build
instructions.
The documentation and API reference is generated from the source
interfaces. It can be consulted online or via odig doc buchi_automaton.
If you installed bitset with opam sample programs are located in
the directory opam var buchi_automaton:doc.
In the distribution sample programs and tests are located in the
test directory. They can be built and run
with:
topkg build --tests true && topkg test