ekb_create man page

ekb_create — manual page for ekb_create 1.9.1-001


ekb_create [options] [<name>]


ekb_create 1.9.1-001

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

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


September 2016 ekb_create 1.9.1-001 User Commands