Report of the constraint-gen This repository contains the latex code for generating report of the constraint-gen library. Prerequisites latex installed on the system make Building Run the make in the project root.