lib(gfd)

   Interface to gecode solver for integer finite domains

