Spur solver – Z3-backed model-finder solved values for coding agent

Spur solver 是一个基于 Z3 的模型查找工具，专为编程智能体设计，可自动求解代码中的变量取值，提升自动化编程与推理能力。