Z3Guide: A Scalable, Student-Centered, and Extensible Educational Environment for Logic Modeling

Ruanqianqian Huang, Ayana Monroe, Peli de Halleux +2

Constraint-satisfaction problems (CSPs) are ubiquitous, ranging from budgeting for grocery shopping to verifying software behavior. Logic modeling helps solve CSPs programmatically…