no-herd hollow@gentoo.org Benedikt Böhm Enable Gist, the Gecode Interactive Search Tool