visualCaseGen: An SMT-based Experiment Configurator for Community Earth System Model

Jupyter Notebook Python Submitted 01 July 2025Published 06 March 2026
Review

Editor: @mengqi-z (all papers)
Reviewers: @lars2015 (all reviews), @fzhao70 (all reviews)

Authors

Alper Altuntas (0000-0003-1708-9518), Isla R. Simpson (0000-0002-2915-1377), Scott D. Bachman (0000-0002-6479-4300), Manish Venumuddula (0009-0009-5047-2018), Samuel Levis (0000-0003-4684-6995), Brian Dobbins (0000-0002-3156-0460), William J. Sacks (0000-0003-2902-5263), Gokhan Danabasoglu (0000-0003-4676-2732)

Citation

Altuntas et al., (2026). visualCaseGen: An SMT-based Experiment Configurator for Community Earth System Model. Journal of Open Source Software, 11(119), 9130, https://doi.org/10.21105/joss.09130

@article{Altuntas2026, doi = {10.21105/joss.09130}, url = {https://doi.org/10.21105/joss.09130}, year = {2026}, publisher = {The Open Journal}, volume = {11}, number = {119}, pages = {9130}, author = {Altuntas, Alper and Simpson, Isla R. and Bachman, Scott D. and Venumuddula, Manish and Levis, Samuel and Dobbins, Brian and Sacks, William J. and Danabasoglu, Gokhan}, title = {visualCaseGen: An SMT-based Experiment Configurator for Community Earth System Model}, journal = {Journal of Open Source Software} }
Copy citation string · Copy BibTeX  
Tags

climate model configuration constraint solver

Altmetrics
Markdown badge

 

License

Authors of JOSS papers retain copyright.

This work is licensed under a Creative Commons Attribution 4.0 International License.

Creative Commons License

Table of Contents
Public user content licensed CC BY 4.0 unless otherwise specified.
ISSN 2475-9066