Leo provides users with a command line interface for compiling and running Leo programs.
Users may either specify input values via the command line or provide an input file in inputs/.
Providing inputs via the command line.
Run
leo run <function_name><input_1><input_2> ...
See ./run.sh for an example.
Using an input file.
Modify inputs/tictactoe.in with the desired inputs.