.\" DO NOT MODIFY THIS FILE!  It was generated by help2man 1.49.3.
.TH EKB_CREATE "1" "May 2024" "ekb_create 3.1.0" "User Commands"
.SH NAME
ekb_create \- manual page for ekb_create 3.1.0
.SH SYNOPSIS
.B ekb_create
[\fI\,options\/\fR] [\fI\,<name>\/\fR]
.SH DESCRIPTION
ekb_create 3.1.0
.PP
Create an empty knowledge base with name <name> for E.
.PP
Options
.HP
\fB\-h\fR
.HP
\fB\-\-help\fR
.IP
Print a short description of program usage and options.
.HP
\fB\-V\fR
.HP
\fB\-\-version\fR
.IP
Print the version number of the program.
.HP
\fB\-v\fR
.HP
\fB\-\-verbose[=\fR<arg>]
.IP
Verbose comments on the progress of the program. The short form or the
long form without the optional argument is equivalent to \fB\-\-verbose\fR=\fI\,1\/\fR.
.HP
\fB\-n\fR <arg>
.HP
\fB\-\-negative\-example\-number=\fR<arg>
.IP
Set the (maximum) number of negative examples to pick if the proof
listing does not describe a successful proof.
.HP
\fB\-p\fR <arg>
.HP
\fB\-\-negative\-example\-proportion=\fR<arg>
.IP
Set the maximum number of negative examples (expressed as a proportion of
the positive examples) to pick if the proof listing does describe a
successful proof
.SH "REPORTING BUGS"
.PP
Report bugs to <schulz@eprover.org>. Please include the following, if
possible:
.PP
* The version of the package as reported by \fBeprover \-\-version\fR.
.PP
* The operating system and version.
.PP
* The exact command line that leads to the unexpected behaviour.
.PP
* A description of what you expected and what actually happened.
.PP
* If possible all input files necessary to reproduce the bug.
.SH COPYRIGHT
Copyright 1998\-2024 by Stephan Schulz, schulz@eprover.org,
and the E contributors (see DOC/CONTRIBUTORS).
.PP
This program is a part of the distribution of the equational theorem
prover E. You can find the latest version of the E distribution
as well as additional information at
http://www.eprover.org
.PP
This program is free software; you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation; either version 2 of the License, or
(at your option) any later version.
.PP
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.
.PP
You should have received a copy of the GNU General Public License
along with this program (it should be contained in the top level
directory of the distribution in the file COPYING); if not, write to
the Free Software Foundation, Inc., 59 Temple Place, Suite 330,
Boston, MA  02111\-1307 USA
.PP
The original copyright holder can be contacted via email or as
.PP
Stephan Schulz
DHBW Stuttgart
Fakultaet Technik
Informatik
Lerchenstrasse 1
70174 Stuttgart
Germany