Use cargo run --release path/to/automaton.txt path/to/formula.txt to run the program.
To include a language automaton with variable name L, use cargo run --release path/to/automaton.txt path/to/formula.txt L=path/to/lang_automaton.txt.
There are example finite automata and formulas in the tests/cases/ directories.