visualCaseGen: An SMT-based Experiment Configurator for Community Earth System Model (Journal of Open Source Software, 2026)