#include <gecode/gist/preferences.hh>
Go to the source code of this file.
Gecode toplevel namespace
The Gecode Interactive Search Tool.