Next:
Basic Usage
, 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.