Z3Guide An Educational Environment for Logic Modeling Thanks to Z3Guide, students can actively solve real-world problems, like budgeting or software verification, using powerful logic modeling tools. This new platform is designed to make logic modeling e... constraint satisfaction education technology logic modeling open source SMT solvers student-centered teaching tools