Name Last modified Size Description Parent Directory - README 2013-11-26 03:57 615 gecode.SlackBuild 2022-06-10 21:03 3.8K gecode.info 2022-03-10 23:34 294 slack-desc 2022-03-10 23:34 828