ekb_create - Man Page

manual page for ekb_create 3.1.0-DEBUG

Synopsis

ekb_create [options] [<name>]

Description

ekb_create 3.1.0-DEBUG

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 proportion 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 happened.

* If possible all input files necessary to reproduce the bug.

Info

July 2024 ekb_create 3.1.0-DEBUG