1EKB_INSERT(1)                    User Commands                   EKB_INSERT(1)
2
3
4

NAME

6       ekb_insert - manual page for ekb_insert 2.4-DEBUG
7

DESCRIPTION

9       ekb_insert 2.4-DEBUG
10
11              Usage: ekb_insert [options] [names]
12
13              Insert  example  files into an E knowledge base. Each non-option
14              argument
15
16              is considered as one individual example file. For most  applica‐
17              tions
18
19              this is obsolete, use ekb_ginsert instead.
20
21       Options
22
23       -h
24
25       --help
26
27              Print a short description of program usage and options.
28
29       -V
30
31       --version
32
33              Print the version number of the program.
34
35       -v
36
37       --verbose[=<arg>]
38
39              Verbose  comments on the progress of the program. The short form
40              or the long form without the optional argument is equivalent  to
41              --verbose=1.
42
43       -n <arg>
44
45       --name=<arg>
46
47              Give the name of the new problem. If not given, the program will
48              take the name of the first input file, or, if <stdin> is read, a
49              name  of  the form '__problem__i', where i is magically computed
50              from the existing knowledge base.
51
52       -k <arg>
53
54       --knowledge-base=<arg>
55
56              Select the knowledge base. If not given, select E_KNOWLEDGE.
57

REPORTING BUGS

59       Report bugs to <schulz@eprover.org>. Please include the  following,  if
60       possible:
61
62       * The version of the package as reported by eprover --version.
63
64       * The operating system and version.
65
66       * The exact command line that leads to the unexpected behaviour.
67
68       * A description of what you expected and what actually happend.
69
70       * If possible all input files necessary to reproduce the bug.
71

73       Copyright © 1999-2012 by Stephan Schulz, schulz@eprover.org
74
75              This  program is a part of the support structure for the E equa‐
76              tional
77
78              theorem prover. You can find the latest version of the E distri‐
79              bution
80
81       as well as additional information at
82              http://www.eprover.org
83
84              This  program  is  free software; you can redistribute it and/or
85              modify
86
87              it under the terms of the GNU General  Public  License  as  pub‐
88              lished  by the Free Software Foundation; either version 2 of the
89              License, or
90
91              (at your option) any later version.
92
93              This program is distributed in the hope that it will be useful,
94
95              but WITHOUT ANY WARRANTY; without even the implied warranty of
96
97       MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
98              See the
99
100              GNU General Public License for more details.
101
102              You should have received  a  copy  of  the  GNU  General  Public
103              License
104
105              along with this program (it should be contained in the top level
106
107              directory  of  the  distribution  in  the file COPYING); if not,
108              write to
109
110              the Free Software Foundation, Inc., 59 Temple Place, Suite 330,
111
112       Boston, MA
113              02111-1307 USA
114
115              The original copyright holder can be contacted as
116
117       Stephan Schulz
118              Technische Universitaet Muenchen
119
120       Fakultaet fuer Informatik
121              Arcisstrasse 20
122
123       D-80290 Muenchen
124              Germany
125
126
127
128ekb_insert 2.4-DEBUG             October 2019                    EKB_INSERT(1)
Impressum