visualCaseGen: An SMT-based Experiment Configurator for Community Earth System Model
Published in Journal of Open Source Software, 2026
visualCaseGen provides an interactive, constraint-solver-assisted interface for configuring Community Earth System Model (CESM) experiments. By encoding model configuration rules as SMT constraints, it prevents invalid experiment setups and guides users to valid configurations — making CESM more accessible to researchers without deep model internals expertise.
Recommended citation: Altuntas, A., Simpson, I. R., Bachman, S. D., Venumuddula, M., Levis, S., Dobbins, B., Sacks, W. J., & Danabasoglu, G. (2026). visualCaseGen: An SMT-based experiment configurator for Community Earth System Model. Journal of Open Source Software. https://doi.org/10.21105/joss.09130
Download Paper