Add --proof-explanation for word-level proof explanations#8927

Open

tautschnig wants to merge 3 commits intodiffblue:developfrom

tautschnig:word-level-proof

Commits on Mar 29, 2026

Add --proof-explanation for word-level proof explanations

tautschnig
and
kiro-agent
committed
SMT2 back-end: add unsat core support for proof explanations

tautschnig
and
kiro-agent
committed
Add user documentation, man page, and per-property proof explanations

tautschnig
and
kiro-agent
committed