GNU Aris Manual: Options

Next: Basic Usage, Previous: Terms, Up: Top [Contents]

## 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.