SMT System Options (-x:STR)

• Description:
  This option is used to specify the configuration file for smt. STR is the absolute or relative path of the specified configuration file.

• Examples:

  > smt -x:smt.config.2013 -p
  - Please input a term (type "Ctl-d" to quit) >
  cold
  cold|cold|C0009264|0
  cold|cold|C0009443|0
  cold|cold|C0010412|0
  cold|cold|C0024117|0
  cold|cold|C0234192|0
  cold|cold|C0719425|0
  cold|cold|C1949981|0
  

  Use the 2013 configuration file, smt.config.2013