Paper accepted at TACAS 2026: SMT(LIA) Sampling with High Diversity — joint work with Associate Prof. Yong Lai and Prof. Chuan Luo.