ltl2snf

ltl2snf - Trnalate LTL formula into Separated Normal Form.

ltl2snf [-h] <file_name>

Command options:

-f <ltl_file>: The input file containing LTL formulae.
-h: Print the command usage.

Last updated on 20050519 00h50