LTL formula -> Büchi automaton

Dependency

$ make

$ ./test.sh

Name		Name	Last commit message	Last commit date
Latest commit History 8 Commits
.gitignore		.gitignore
Makefile		Makefile
OCamlMakefile		OCamlMakefile
README.md		README.md
alt_buechi.ml		alt_buechi.ml
alt_buechi.mli		alt_buechi.mli
buechi.ml		buechi.ml
buechi.mli		buechi.mli
ltl.ml		ltl.ml
ltl.mli		ltl.mli
ltl_lexer.mll		ltl_lexer.mll
ltl_parser.mly		ltl_parser.mly
main.ml		main.ml
positive_formula.ml		positive_formula.ml
positive_formula.mli		positive_formula.mli
test.sh		test.sh