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

NAME

6       ekb_create - manual page for ekb_create 2.5-DEBUG
7

SYNOPSIS

9       ekb_create [options] [<name>]
10

DESCRIPTION

12       ekb_create 2.5-DEBUG
13
14       Create an empty knowledge base with name <name> for E.
15
16       Options
17
18       -h
19
20       --help
21
22              Print a short description of program usage and options.
23
24       -V
25
26       --version
27
28              Print the version number of the program.
29
30       -v
31
32       --verbose[=<arg>]
33
34              Verbose  comments on the progress of the program. The short form
35              or the long form without the optional argument is equivalent  to
36              --verbose=1.
37
38       -n <arg>
39
40       --negative-example-number=<arg>
41
42              Set  the  (maximum)  number  of negative examples to pick if the
43              proof listing does not describe a successful proof.
44
45       -p <arg>
46
47       --negative-example-proportion=<arg>
48
49              Set the maximum number of negative examples (expressed as a pro‐
50              portion  of  the positive examples) to pick if the proof listing
51              does describe a successful proof
52

REPORTING BUGS

54       Report bugs to <schulz@eprover.org>. Please include the  following,  if
55       possible:
56
57       * The version of the package as reported by eprover --version.
58
59       * The operating system and version.
60
61       * The exact command line that leads to the unexpected behaviour.
62
63       * A description of what you expected and what actually happend.
64
65       * If possible all input files necessary to reproduce the bug.
66
68       Copyright  1998-2020  by  Stephan Schulz, schulz@eprover.org, and the E
69       contributors (see DOC/CONTRIBUTORS).
70
71       This program is a part of the distribution of  the  equational  theorem
72       prover E. You can find the latest version of the E distribution as well
73       as additional information at http://www.eprover.org
74
75       This program is free software; you can redistribute it and/or modify it
76       under  the  terms of the GNU General Public License as published by the
77       Free Software Foundation; either version 2 of the License, or (at  your
78       option) any later version.
79
80       This  program  is  distributed  in the hope that it will be useful, but
81       WITHOUT ANY  WARRANTY;  without  even  the  implied  warranty  of  MER‐
82       CHANTABILITY  or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General
83       Public License for more details.
84
85       You should have received a copy of the GNU General Public License along
86       with this program (it should be contained in the top level directory of
87       the distribution in the file COPYING); if not, write to the Free  Soft‐
88       ware   Foundation,  Inc.,  59  Temple  Place,  Suite  330,  Boston,  MA
89       02111-1307 USA
90
91       The original copyright holder can be contacted via email or as
92
93       Stephan  Schulz  DHBW  Stuttgart  Fakultaet  Technik  Informatik  Rote‐
94       buehlplatz 41 70178 Stuttgart Germany
95
96
97
98ekb_create 2.5-DEBUG             January 2021                    EKB_CREATE(1)
Impressum