benediktibk/gecode archive