jozefg Added constraint generation to the explanation

Latest commit af6d028

Feb 28, 2015