Your company here — click to reach over 10,000 unique daily visitors

ekb_create - Man Page

manual page for ekb_create 3.1.0-DEBUG


ekb_create [options] [<name>]


ekb_create 3.1.0-DEBUG

Create an empty knowledge base with name <name> for E.




Print a short description of program usage and options.



Print the version number of the program.



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>


Set the (maximum) number of negative examples to pick if the proof listing does not describe a successful proof.

-p <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.


May 2024 ekb_create 3.1.0-DEBUG