Dummy commit to get this branch started
Hazan now runs, but is giving weird answers
Hazan now working on simplest example
Need to switch branches for the moment
Skeleton of SDP solver added
Added skeleton of feasibility search
Added a large part of binary search infrastructure
Moved out bounded trace tests to separate file
Moved feasibility out into separate file
EOD
Added interior point skeleton and moved general sdp tests into separate file
It becomes clear that this will be no small endeavor
Stabilized issue for simple bounded trace problems
Testing out the equality/inequality SDPs
Reformulated objective function for feasibility slightly
Adding new stable penalty function
EOD
Bounded trace tests are passing now. Cleaning up test file and refactoring
Done cleaning up bounded trace solver tests
More refactoring in progress