From 2fcf3b3280f8099caf736187ca1d17ba018252bb Mon Sep 17 00:00:00 2001
From: Christian Schulte <schulte@gecode.org>
Date: Fri, 20 Mar 2015 14:41:12 +0000
Subject: [PATCH] Released

git-svn-id: file:///Users/tack/GecodeGitMigration/gecode-svn-mirror/gecode/tags/release-4.4.0@14472 e85b7adc-8362-4630-8c63-7469d557c915