Xolver, an SMT solver with a scoreboard

Why it surfaced

The project gives its toolchain an unusually legible structure: parse the formula, decide sat or unsat, then cross-check the result against reference solvers. Its homepage reports 52,813 instances solved and zero wrong answers, while also acknowledging that the full benchmark dataset and observatory are still being prepared for public release.

Xolver is a C++ solver for quantifier-free nonlinear arithmetic, paired with an SMT-LIB parser and a continuous benchmarking observatory.