Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling
Fuente:
arXiv
Guardado en:
| Autores principales: | , , , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866916787386318848 |
|---|---|
| author | Huang, Ruanqianqian Monroe, Ayana de Halleux, Peli Lerner, Sorin Bjørner, Nikolaj |
| author_facet | Huang, Ruanqianqian Monroe, Ayana de Halleux, Peli Lerner, Sorin Bjørner, Nikolaj |
| contents | Constraint-satisfaction problems (CSPs) are ubiquitous, ranging from budgeting for grocery shopping to verifying software behavior. Logic modeling helps solve CSPs programmatically using SMT solvers. Despite its importance in many Computer Science disciplines, resources for teaching and learning logic modeling are scarce and scattered, and challenges remain in designing educational environments for logic modeling that are accessible and meet the needs of teachers and students. This paper explores how to design such an environment and probes the impact of the design on the learning experience. From a need-finding interview study and a design iteration with teachers of logic modeling, we curated 10 design guidelines spanning three main requirements: providing easy access, supporting various educational modalities, and allowing extensions for customized pedagogical needs. We implemented nine guidelines in Z3Guide, an open-source browser-based tool. Using Z3Guide in a logic modeling learning workshop with more than 100 students, we gathered positive feedback on its support for learning and identified opportunities for future improvements. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2506_08294 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling Huang, Ruanqianqian Monroe, Ayana de Halleux, Peli Lerner, Sorin Bjørner, Nikolaj Human-Computer Interaction Logic in Computer Science Constraint-satisfaction problems (CSPs) are ubiquitous, ranging from budgeting for grocery shopping to verifying software behavior. Logic modeling helps solve CSPs programmatically using SMT solvers. Despite its importance in many Computer Science disciplines, resources for teaching and learning logic modeling are scarce and scattered, and challenges remain in designing educational environments for logic modeling that are accessible and meet the needs of teachers and students. This paper explores how to design such an environment and probes the impact of the design on the learning experience. From a need-finding interview study and a design iteration with teachers of logic modeling, we curated 10 design guidelines spanning three main requirements: providing easy access, supporting various educational modalities, and allowing extensions for customized pedagogical needs. We implemented nine guidelines in Z3Guide, an open-source browser-based tool. Using Z3Guide in a logic modeling learning workshop with more than 100 students, we gathered positive feedback on its support for learning and identified opportunities for future improvements. |
| title | Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling |
| topic | Human-Computer Interaction Logic in Computer Science |
| url | https://arxiv.org/abs/2506.08294 |