e_stratpar(1)

e_stratpar1

Manual page for e_stratpar 3.2.5 puttabong moondrop

Usage

e_stratpar [options] [file]

Overview

e_stratpar 3.2.5 "Puttabong Moondrop"

Run 8 instances of E with different strategies in parallel.

Options

-h

--help

Print a short description of program usage and options.

-V

--version

Print the version number of the prover. Please include this with all bug reports (if any).

--cpu-limit[=<arg>]

Limit the cpu time the prover should run. The optional argument is the CPU time in seconds. The option without the optional argument is equivalent to --cpu-limit=300.

Releases

2 releases since Debian 12 (Bookworm); the text changed 1 time.

  1. 12
  2. 13

Reporting bugs

Report bugs to <[email protected]>. 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.

From eprover 3.2.5+ds-1 in Debian 13 (Trixie). Parsed by carta from the page's man source.