Use when a query needs direct SMT solving, an unsat core needs debugging, or another tool reports a solver timeout or unknown. Not for deciding what to prove: use proof-driven.
한국어 요약은 준비 중입니다. 원문 설명을 표시하고 있습니다.
OutlineDriven/odin-claude-plugin372026년 9월 29일 업데이트