Permalink
Failed to load latest commit information.
alice Fix missing return values. Fixes issue #13. Dec 30, 2015
gecode Add gecode as a submodule instead of downloading source Feb 15, 2016
make @ de101e1 Fix #19 by pulling in Makefile changes to use gecode submodule. Feb 15, 2016
seam-support @ 28a563b Initial commit Jul 14, 2014
seam Initial commit Jul 14, 2014
.gitmodules Add gecode as a submodule instead of downloading source Feb 15, 2016
README.md Initial commit Jul 14, 2014