Next: , Previous: Terms, Up: Top


3 Options

-a VARIABLE
--variable=VARIABLE
Use VARIABLE as a known variable in evaluation mode. Prepend an '*' to specifiy that the variable is arbitrary.
-b
--boolean
Start Aris in boolean mode.
-c CONCLUSION
--conclusion=CONCLUSION
Use CONCLUSION as a conclusion in evaluation mode. This flag can only be specified once.
-e
--evaluate
Run Aris in evaluation mode. This means that no GUI will be loaded.
-f FILE
--file=FILE
Evaluate FILE if running Aris in evaluation mode, otherwise load FILE in Aris. This flag can be specified multiple times.
-g
--grade
Grades a file specified by the file flag. This flag is ignored if used more than once.
-l
--list
List the rules available in Aris, and exit.
-p PREMISE
--premise=PREMISE
Use PREMISE as a premise in evalution mode. This flag can be specified multiple times.
-r RULE
--rule=RULE
Use RULE as a rule in evaluation mode. This flag can only be specified once.
-t TEXT
--text=TEXT
Simply check the correctness of TEXT in evaluation mode.
-v
--verbose
Run Aris verbosely, printing status and error messages.
-x
--latex=FILE
Convert FILE to a LaTeX proof file in evaluation mode.
--version
Print the version of Aris and exit.
-h
--help
Print a help message and exit.