To install OCaml dependencies, run:
make dependencies
To build the executable, run:
make build
To run tests:
make test
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 can be found here.