EKB_CREATE(1) User Commands EKB_CREATE(1) NAME ekb_create - manual page for ekb_create 2.6 SYNOPSIS ekb_create [options] [<name>] DESCRIPTION ekb_create 2.6 Create an empty knowledge base with name <name> for E. Options -h --help Print a short description of program usage and options. -V --version Print the version number of the program. -v --verbose[=<arg>] Verbose comments on the progress of the program. The short form or the long form without the optional argument is equivalent to --ver- bose=1. -n <arg> --negative-example-number=<arg> Set the (maximum) number of negative examples to pick if the proof listing does not describe a successful proof. -p <arg> --negative-example-proportion=<arg> Set the maximum number of negative examples (expressed as a propor- tion of the positive examples) to pick if the proof listing does de- scribe a successful proof REPORTING BUGS Report bugs to <schulz@eprover.org>. Please include the following, if pos- sible: * The version of the package as reported by eprover --version. * The operating system and version. * The exact command line that leads to the unexpected behaviour. * A description of what you expected and what actually happend. * If possible all input files necessary to reproduce the bug. COPYRIGHT Copyright 1998-2021 by Stephan Schulz, schulz@eprover.org, and the E con- tributors (see DOC/CONTRIBUTORS). 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 addi- tional information at http://www.eprover.org This program is free software; you can redistribute it and/or modify it un- der 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. This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FIT- NESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. 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 Foun- dation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA The original copyright holder can be contacted via email or as Stephan Schulz DHBW Stuttgart Fakultaet Technik Informatik Rotebuehlplatz 41 70178 Stuttgart Germany ekb_create 2.6 August 2026 EKB_CREATE(1)
NAME | SYNOPSIS | DESCRIPTION | REPORTING BUGS | COPYRIGHT
Want to link to this manual page? Use this URL:
<https://man.FreeBSD.org/cgi/man.cgi?query=ekb_create&sektion=1&manpath=FreeBSD+Ports+15.1.quarterly>