https://github.com/emilerolley/ltl2ba

Compiler of LTL formula to Büchi automata
https://github.com/emilerolley/ltl2ba

buchi-automata ltl ltl-formula ltl2ba ocaml

Last synced: about 1 month ago
JSON representation

Compiler of LTL formula to Büchi automata

• Host: GitHub
• URL: https://github.com/emilerolley/ltl2ba
• Owner: EmileRolley
• License: gpl-3.0
• Created: 2022-03-17T18:01:02.000Z (almost 3 years ago)
• Default Branch: main
• Last Pushed: 2023-08-02T09:54:34.000Z (over 1 year ago)
• Last Synced: 2024-10-28T00:33:47.092Z (3 months ago)
• Topics: buchi-automata, ltl, ltl-formula, ltl2ba, ocaml
• Language: OCaml
• Homepage: https://emilerolley.github.io/ltl2ba/ltl2ba/index.html
• Size: 3.43 MB
• Stars: 3
• Watchers: 0
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        


	
𝝋 ⇝ 𝒜


![CI][ci-link] ![COV][cov-link] ![DOC][doc-link]

 `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](https://emilerolley.github.io/ltl2ba/ltl2ba/index.html).

[ci-link]: https://github.com/EmileRolley/ltl2ba/actions/workflows/build.yml/badge.svg

[cov-link]: https://codecov.io/gh/EmileRolley/ltl2ba/branch/main/graph/badge.svg?token=PIIQ0CSE8C

[doc-link]: https://img.shields.io/badge/doc-online-blue?link=https://emilerolley.github.io/ltl2ba/ltl2ba/index.html