ClemsonRSRG/RESOLVE — pull request #124 by yushan87 (2014-05-22 21:59:48+00:00)
Title: VCGenerator: Global Constraints

Now the new VC generator adds in global constraints as givens as intended.