A Chef cookbook for gecode (Initial Upstream: bbg-cookbooks, Repository: gecode) - View it on GitHub