SOP Model Checker


The model checker was like the auto uver being a HDA building task. I was tasked with building this tool so that it would be possible to check models for problems before they were sent to surfacing. This project was inspired by this Siggraph talk:

In the end it was never integrated into the pipeline but I still found the task very helpful in getting used to how attributes work in more detail.