gecode: meta information