Merge pull request #13 from powerist/constraint

Add PrintVar() function to sdn-constraint.h.
Dependency graph generation complete.