GSoC Guide
GSoC 2026
Current
Organizations
Proposals
Progress blogs
Blog
Past editions
GSoC 2026
Current
Organizations
Proposals
Progress blogs
Blog
Past editions
GitHub
X
Toggle theme
Sign in
Organizations
/
Software and Computational Systems Lab at LMU Munich
/
Integrating the SMT solver dReal to the framework JavaSMT
Back to Software and Computational Systems Lab at LMU Munich
GSoC 2023
Integrating the SMT solver dReal to the framework JavaSMT
Project details
Contributor
Julius Brehme
Mentors
Daniel Baier
Technologies
Not listed in the archive