visualCaseGen: An SMT-based Experiment Configurator for Community Earth System Model. - Alper Altuntas; Isla R. Simpson; Scott D. Bachman; Manish Venumuddula; Samuel Levis; Brian Dobbins; William J. Sacks; Gokhan Danabasoglu (J. Open Source Softw., 2026)