Mikael Zayenz Lagerkvist
|
5a2be5f095
|
Gecode: Update to version 3.7.1
Closes Homebrew/homebrew#8114.
Signed-off-by: Charlie Sharpsteen <source@sharpsteen.net>
|
2011-10-14 18:56:14 -07:00 |
|
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 |