GitHub - ZifanSi/labelled-transition-system-analyser

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
A1		A1
A2		A2
Chapter_examples		Chapter_examples
Go		Go
Python_examples		Python_examples
Tutorial		Tutorial
README.txt		README.txt
create_file_assoc.vbs		create_file_assoc.vbs
create_shortcut.vbs		create_shortcut.vbs
ltl2buchi.jar		ltl2buchi.jar
ltsa.bat		ltsa.bat
ltsa.ico		ltsa.ico
ltsa.jar		ltsa.jar
ltsafile.ico		ltsafile.ico
start.bat		start.bat

Repository files navigation

INSTALLATION INSTRUCTIONS

You must first install a Java (TM) 2 run time system v1.5.0 or later.

Then, you can start using the LTSA tool immediately simply by double clicking on the ltsa.jar file, either on Windows or MAC OS.


WINDOWS

To install a desktop shortcut icon, run the create_shortcut.vbs script by double clicking on it.

To install a file association for .lts files, run the create_file_assoc.vbs script by double clicking on it.

MAC

Icons to be done!