radsz/jacop — pull request #6 by thomasleaute (2014-07-26 15:00:45+00:00)
Title: Fixed a bug in XexpYeqZ.consistency()... 

... that could result in computing an incorrect upper bound for y.
For instance, when x = y = z = 2, yMax would incorrectly be set to 1.