Commit history
Xolver evolution
Track which algorithmic changes moved coverage, correctness, and performance—not just whether CI passed.
Solved over time
Comparable official-suite experiments only
Benchmark runs
Every point is linked to a reproducible experiment identity
2026-08-19a91fcd252,813 solved+248 −17
Improve nonlinear integer propagation
exp-xolver-a91fcd2-official
2026-08-11e201bd752,582 solved+951 −16
Refine conflict explanation
exp-e201bd7
2026-08-037acfa8251,647 solved+804 −41
Add interval propagation
exp-7acfa82
2026-07-18c27be3150,884 solved+611 −39
Normalize nonlinear monomials
exp-c27be31
2026-07-0291c8d2150,312 solved+0 −0
Baseline before interval propagation
exp-91c8d21