E_STRATPAR(1)

💖 e_stratpar — like, the manual page, bestie 💖

okay so you opened the man page for e_stratpar and honestly? iconic choice. this is part of the E distribution, and it lives in the User Commands section of the manual. let's get into it. 🎀

---

✨ NAME ✨

e_stratpar — the manual page for e_stratpar 3.5.1 Countess Grey 🫶

---

🌸 SYNOPSIS 🌸

e_stratpar [options] [file]

---

🦋 DESCRIPTION 🦋

e_stratpar 3.5.1 "Countess Grey"</p紫色>

no wait let me say that properly:

e_stratpar 3.5.1 "Countess Grey"

and what does it DO? it runs 8 instances of E in parallel, each one vibing with a different strategy. eight provers, one goal, maximum main character energy. 💅

---

✨ OPTIONS ✨

• -h — shows you a short lil description of how to use the program and what options it takes. baby's first help flag. 🍼
• --help — same energy as -h, just spelled out all fancy.
• -V — prints the version number of the prover. 🏷️
• --version — also prints the version number of the prover. please include this with all bug reports (if any) — fr fr, it helps so much.
• --cpu-limit[=<arg>] — this one limits the CPU time the prover is allowed to run. 🕐 the argument is optional, and when you do pass it, it's the CPU time in seconds. and if you just write the flag with no argument at all? that's equivalent to --cpu-limit=300. no cap.

---

😭 REPORTING BUGS 😭

found a bug? first of all, thank you for your service. 🫡 report it to <schulz@eprover.org>.

if you can, please include the following:

• the version of the package, as reported by eprover --version.
• your operating system and version. 🖥️
• the exact command line that leads to the unexpected behaviour.
• a description of what you expected and what actually happened. (the classic "here's what i thought would happen vs. what the girlies actually did" 💀)
• if possible, all the input files necessary to reproduce the bug.

---

👑 COPYRIGHT 👑

Copyright 1998-2026 by Stephan Schulz, schulz@eprover.org, and the E contributors (see DOC/CONTRIBUTORS).

this program is a part of the distribution of the equational theorem prover E. 🌈 you can find the latest version of the E distribution, plus additional info, 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. slay.

this program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. see the GNU General Public License for more details. (yes bestie, that's the scary all-caps part, it means what it says.)

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 Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA.

---

💌 and also, we love hearing from you 💌

we welcome bug reports and even reasonable questions. if the prover behaves in an unexpected way, please include the following information:

• What did you observe?
• What did you expect?
• The output of eprover --version
• The full commandline that lead to the unexpected behaviour
• The input file(s) that lead to the unexpected behaviour

most bug reports should be send to <schulz@eprover.org>. bug reports with respect to the HO-version should be send to or at least copied to <jasmin.blanchette@gmail.com>. and please remember that this is an unpaid volunteer service. 🫶 be nice!!

---

📮 how to reach the original copyright holder 📮

the original copyright holder can be contacted via email or as:

Stephan Schulz
DHBW Stuttgart
Fakultaet Technik
Informatik
Lerchenstrasse 1
70174 Stuttgart
Germany

---

⭐ reminder bestie: every flag, every email, every path, every address above is the real deal, exactly as written. don't skip the boring parts, they're load-bearing. 💀

---

okay that's the whole page!! this was e_stratpar 3.5.1 Countess Grey, from August 2026, and yes the manual page itself is filed under E_STRATPAR(1). run your 8 strategies in parallel and go absolutely off, queen. 👑✨🦋💖