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

NAME

6       ekb_create - manual page for ekb_create 2.3-DEBUG
7

SYNOPSIS

9       ekb_create [options] [<name>]
10

DESCRIPTION

12       ekb_create 2.3-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 © 1999-2004 by Stephan Schulz, schulz@eprover.org
69
70       This  program  is  a part of the support structure for the E equational
71       theorem prover. You can find the latest version of the  E  distribution
72       as well as additional information at http://www.eprover.org
73
74       This program is free software; you can redistribute it and/or modify it
75       under the terms of the GNU General Public License as published  by  the
76       Free  Software Foundation; either version 2 of the License, or (at your
77       option) any later version.
78
79       This program is distributed in the hope that it  will  be  useful,  but
80       WITHOUT  ANY  WARRANTY;  without  even  the  implied  warranty  of MER‐
81       CHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU  General
82       Public License for more details.
83
84       You should have received a copy of the GNU General Public License along
85       with this program (it should be contained in the top level directory of
86       the  distribution in the file COPYING); if not, write to the Free Soft‐
87       ware  Foundation,  Inc.,  59  Temple  Place,  Suite  330,  Boston,   MA
88       02111-1307 USA
89
90       The original copyright holder can be contacted as
91
92       Stephan  Schulz  Technische Universitaet Muenchen Fakultaet fuer Infor‐
93       matik Arcisstrasse 20 D-80290 Muenchen Germany
94
95
96
97ekb_create 2.3-DEBUG              April 2019                     EKB_CREATE(1)
Impressum