First run at constraint labeling
Merge pull request #1 from paulsamuels/experimental-vfl

First run at constraint labeling