Here’s the paper we’ll be reading this week:
Gulwani, Sumit, Saurabh Srivastava, and Ramarathnam Venkatesan. "Program analysis as constraint solving." Proceedings of the 29th ACM SIGPLAN Conference on Programming Language Design and Implementation. 2008.
Your goal, as it was in the second week, is to "get the idea working" to the degree that’s possible in three to four hours of work.
Do your work in the corresponding GitHub repo.
Be sure to include a README that functions as a lab report: it should describe what you did, how it works, and examples of its results. If it makes sense to analyze its functionality, do that!
Here’s a Github Classroom link: https://classroom.github.com/g/U6OhXFuN
You can work with a partner, if you like. (I’ve reset to allow a new set of teams.)