Command Line Interface¶
TorXakis ships with a command line interface.
To see the available commands type
help on the
The output is shown in the Torxakis help appendix.
Command history can be navigated with the up and down arrows, or using
To reverse-search in the command history type
The command history is kept in the user’s home directory (whose location varies depending on the operating system), in a file called:
TorXakis can be configured by using a configuration file
.torxakis.yaml. The configuration file is expected either
in the working directory or
in the home directory.
The working directory has precedence over the latter. An example of a
.torxakis.yaml file can be found in the
repository at this
echo 'selected-solver: "cvc4" ' > ~/.torxakis.yaml
TorXakis stores also logs of the command line interface in the
.torxakis/ folder in the user’s home directory.
.torxakis/txs-cli-latest.log contains the log of the latest session with the
command line interface.