helm/ocaml/paramodulation/README

   1 make saturate per compilare l'eseguibile da riga di comando (make saturate.opt per la versione ottimizzata)
   2
   3 ./saturate -h per vedere una lista di parametri:
   4
   5 ./saturate: unknown option `-h'.
   6 Usage:
   7   -full Enable full mode
   8   -f Enable/disable full-reduction strategy (default: enabled)
   9   -r Weight-Age equality selection ratio (default: 4)
  10   -s symbols-based selection ratio (relative to the weight ratio, default: 0)
  11   -c Configuration file (for the db connection)
  12   -o Term ordering. Possible values are:
  13         kbo: Knuth-Bendix ordering
  14         nr-kbo: Non-recursive variant of kbo (default)
  15         lpo: Lexicographic path ordering
  16   -l Time limit in seconds (default: no limit)
  17   -w Maximal width (default: 3)
  18   -d Maximal depth (default: 3)
  19   -retrieve retrieve only
  20   -help  Display this list of options
  21   --help  Display this list of options