𝝋 ⇝ 𝒜

ltl2ba a compiler of LTL formula to Büchi automata.

Build

To install OCaml dependencies, run:

make dependencies

To build the executable, run:

make build

To run tests:

make test

Run

Once it's built, you can simply run the executable:

./_build/default/src/ltl2ba.exe --help

Or, using opam to install the local package:

opam install . --working-dir
ltl2ba --help

Documentation

Documentation can be found here.