Skip to content

Latest commit

 

History

History
19 lines (13 loc) · 134 Bytes

File metadata and controls

19 lines (13 loc) · 134 Bytes

LTL formula -> Büchi automaton

Dependency

  • OCaml
  • menhir
  • graphviz

Build

$ make

Use

$ ./test.sh