Skip site navigation (1)Skip section navigation (2)

FreeBSD Manual Pages

  
 
  

home | help
EKB_CREATE(1)			 User Commands			 EKB_CREATE(1)

NAME
       ekb_create - manual page	for ekb_create 2.0

SYNOPSIS
       ekb_create [options] [_name_]

DESCRIPTION
       ekb_create 2.0

       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
	      --verbose=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 pro-
	      portion  of  the positive	examples) to pick if the proof listing
	      does describe a successful proof

REPORTING BUGS
       Report bugs to <schulz@eprover.org>. Please include the	following,  if
       possible:

       * 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 (C) 1999-2004 by Stephan Schulz, schulz@eprover.org

       This  program  is  a part of the	support	structure for the E equational
       theorem prover. You can find the	latest version of the  E  distribution
       as well as additional information at http://www.eprover.org

       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.

       This program is distributed in the hope that it	will  be  useful,  but
       WITHOUT	ANY  WARRANTY;	without	 even  the  implied  warranty  of MER-
       CHANTABILITY or FITNESS 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 Soft-
       ware  Foundation,  Inc.,	 59  Temple  Place,  Suite  330,  Boston,   MA
       02111-1307 USA

       The original copyright holder can be contacted as

       Stephan	Schulz	Technische Universitaet	Muenchen Fakultaet fuer	Infor-
       matik Arcisstrasse 20 D-80290 Muenchen Germany

ekb_create 2.0			  August 2020			 EKB_CREATE(1)

NAME | SYNOPSIS | DESCRIPTION | REPORTING BUGS | COPYRIGHT

Want to link to this manual page? Use this URL:
<https://www.freebsd.org/cgi/man.cgi?query=ekb_create&sektion=1&manpath=FreeBSD+12.2-RELEASE+and+Ports>

home | help