From: Andrea Asperti <andrea.asperti@unibo.it>
Date: Tue, 25 Oct 2005 12:15:47 +0000 (+0000)
Subject: readme file
X-Git-Tag: V_0_7_2_3~201
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=363299a993e4f65f3db677f907e63303f2d0eeb1;p=helm.git

readme file
---

diff --git a/helm/ocaml/paramodulation/README b/helm/ocaml/paramodulation/README
new file mode 100644
index 000000000..d7cd0b98d
--- /dev/null
+++ b/helm/ocaml/paramodulation/README
@@ -0,0 +1,21 @@
+make saturate per compilare l'eseguibile da riga di comando (make saturate.opt per la versione ottimizzata)
+
+./saturate -h per vedere una lista di parametri:
+
+./saturate: unknown option `-h'.
+Usage:
+  -full Enable full mode
+  -f Enable/disable full-reduction strategy (default: enabled)
+  -r Weight-Age equality selection ratio (default: 4)
+  -s symbols-based selection ratio (relative to the weight ratio, default: 0)
+  -c Configuration file (for the db connection)
+  -o Term ordering. Possible values are:
+        kbo: Knuth-Bendix ordering
+        nr-kbo: Non-recursive variant of kbo (default)
+        lpo: Lexicographic path ordering
+  -l Time limit in seconds (default: no limit)
+  -w Maximal width (default: 3)
+  -d Maximal depth (default: 3)
+  -retrieve retrieve only
+  -help  Display this list of options
+  --help  Display this list of options