#include <string>
#include <gecode/flatzinc/ast.hh>
Go to the source code of this file.
Gecode toplevel namespace
Interpreter for the FlatZinc language.