Binary search proving as much as possible.
Unbelievable.
Fixed some bugs to get VCs for sequence realization of preemptable queue.
Dissertation version 1.
Dissertation defense dry run.
Merge pull request #59 from hamptonsmith/furious

All changes through Hampton's defense.