Loading README.md +2 −2 Original line number Diff line number Diff line Loading @@ -12,7 +12,7 @@ The tool was created with an aim to make it a part of the Spot library. To run commands provided by this tool, you need to have installed Spot, Mata, and Argparse. ## Usage Here will be some small example and maybe links to longer examples. ba2ltlDecider -f "name-of-your-input-file" [OTHER OPTIONS] ## Authors Tereza Kinská Loading @@ -30,4 +30,4 @@ Spot is available under the GNU GPL v3 license available at https://www.gnu.org/ ## Project status In progress No newline at end of file Ready to use No newline at end of file Loading
README.md +2 −2 Original line number Diff line number Diff line Loading @@ -12,7 +12,7 @@ The tool was created with an aim to make it a part of the Spot library. To run commands provided by this tool, you need to have installed Spot, Mata, and Argparse. ## Usage Here will be some small example and maybe links to longer examples. ba2ltlDecider -f "name-of-your-input-file" [OTHER OPTIONS] ## Authors Tereza Kinská Loading @@ -30,4 +30,4 @@ Spot is available under the GNU GPL v3 license available at https://www.gnu.org/ ## Project status In progress No newline at end of file Ready to use No newline at end of file
