Formal Report

This is a short document describing the complete solution that we have
implemented.