visualCaseGen: An SMT-based Experiment Configurator for Community Earth System Model
Published in Journal of Open Source Software, 2026
visualCaseGen is a Python/Jupyter-based tool using SMT constraint solvers to guide users through configuring CESM model experiments, reducing setup errors and lowering the barrier to running climate simulations.
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
