# `KinoAtpClient.AtpSolver`
[🔗](https://github.com/jcschuster/KinoAtpClient/blob/v0.6.0/lib/kino_atp_client/atp_solver.ex#L1)

TPTP editor Smart Cell with a backend mode switch.

The cell drives all four AtpClient backends — `SystemOnTPTP`, `StarExec`,
`Isabelle`, `LocalExec` — from a single TPTP problem editor. Switching the
backend dropdown swaps both the per-call controls in the header (solver
picker for SoTPTP, proof method for Isabelle, …) and the output rendering
(raw prover text for SoTPTP, normalized SZS badge for StarExec/LocalExec,
per-lemma table for Isabelle).

Cross-cutting credentials (StarExec base URL, Isabelle password, …) live in
`KinoAtpClient.BackendConfig` so this cell stays focused on a single
problem run.

# `child_spec`

---

*Consult [api-reference.md](api-reference.md) for complete listing*