New paper! A Multi-Width Parametric Equivalence Solver will appear at CAV 2026, blog post and arXiv link to follow.