Skip to content

Instantly share code, notes, and snippets.

@oferrigni

oferrigni/gist:a02408aeb8d4aece757a

Created June 26, 2014 16:13
Show Gist options
  • Save oferrigni/a02408aeb8d4aece757a to your computer and use it in GitHub Desktop.
Save oferrigni/a02408aeb8d4aece757a to your computer and use it in GitHub Desktop.
Download ZIP
The right version of gecode for depselector on mac
Raw
gistfile1.txt
brew uninstall gecode
cd $( brew --prefix )
git reset --hard 2d5ed4c70ce486a0e43467716c07c8de8af4d96e
brew install gecode
git reset --hard origin/master
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment