Complete Formulation Implementation.

CLIDriver Contains a shell for running the sample test case, and
eventually running branch and boung.

Helpers -- Contains method for popoulating the sample data.

Configuration.cpp -- Contains the implementation of the formulation from
the paper.