MP3 has you implement the second step of the inferencer: the unification algorithm unify that solves constraints generated by the inferencer.

IMPORTANT: Make sure that you read the README file in the grader bundle . This file contains important information.

Also, make sure you read the "Guide for Doing MPs".