#include <cstring>
Go to the source code of this file.
Gecode toplevel namespace
Script commandline driver.