.\" DO NOT MODIFY THIS FILE!  It was generated by help2man 1.49.2.
.TH EKB_GINSERT "1" "July 2022" "ekb_ginsert 2.6" "User Commands"
.SH NAME
ekb_ginsert \- manual page for ekb_ginsert 2.6
.SH SYNOPSIS
.B ekb_ginsert
[\fI\,options\/\fR] [\fI\,name\/\fR]
.SH DESCRIPTION
ekb_ginsert 2.6
.PP
Generate a set of training examples from an E inference list (i.e. an
EPCL trace of a proof run) and insert it into a knowledge base.
.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\-\-name=\fR<arg>
.IP
Give the name of the new problem. If not given, the program will take the
name of the first input file, or, if <stdin> is read, a name of the form
\&'__problem__i', where i is magically computed  from the existing
knowledge base.
.HP
\fB\-k\fR <arg>
.HP
\fB\-\-knowledge\-base=\fR<arg>
.IP
Select the knowledge base. If not given, select E_KNOWLEDGE.
.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\-2021 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
Rotebuehlplatz 41
70178 Stuttgart
Germany