* Overview [#v70ac10c]
- HyLaGI is an implementation of HydLa.
- HyLaGI features
-- error-free simulation
-- symbolic execution
-- automatic case analysis
* How to use HyLaGI [#xa82de43]
+HyLaGI needs Mathematica (the latest version is recommended, at least above Mathematica 7.0)
-- HyLaGI can be used if Mathematica can be located.
-- That is, if Mathematica is invoked by the "math" command, HyLaGI will work.
--- If a command name other than "math" is used, change the command name after the linkname in the "--mathlink" option.
+Please download HyLaGI from [[Download]] Page.
+Extract the downloaded archive to any place where you want to locate HyLaGI and change your current directory to it.
+Type command like below, then you can simulate your HydLa program.
>
./hylagi <program_name> [<options>] ~
<
-- For example, you can simulate examples/bouncing_particle.hydla (included by the HyLaGI archive) like below.
>
./hylagi examples/bouncing_particle.hydla -t 10 -p 20 --nd
<
-- "-t" stands for time limit.
-- "-p" stands for the number of phases to simulate.
-- "--nd" stands for nondeterministic mode.
~ If you want to simulate only one case, you can remove this option.
~ (In fact, this option has no effect for this example program)
- If you want to know other options of HyLaGI, please type
>
./hylagi -h
<
