mxcl/homebrew — pull request #8114 by zayenz (2011-10-14 09:11:32+00:00)
Title: Updated Gecode library to version 3.7.1.

Updated to latest release.

Release blurb:
"This release fixes several bugs, upgrades to MiniZinc version 1.4, and features some minor improvements."