Inference of Qualitative Models from Steady-State Data via Weighted MaxSMT (ArXiv cs.LO Recent Papers, 2026)