2 Commits (1355b0107b41daafa1a80eac5434aa23b67fd0c4)

Author	SHA1	Message	Date
Mikael Zayenz Lagerkvist	df072ce304	Updated Gecode library to latest version. ... Closes Homebrew/homebrew#7605. Signed-off-by: Charlie Sharpsteen <source@sharpsteen.net>	2011-09-13 09:28:35 -07:00
Stephane Bellity	458626435a	gecode 3.5.0 ... Signed-off-by: Adam Vandenberg <flangy@gmail.com>	2011-04-12 07:53:47 -07:00