Exception: unknown brancher
Exception: uninitialized AFC
Exception: Commit with illegal alternative
Exception: too many groups
Exception: uninitialized action
Exception: Operation on failed space invoked
Exception: Operation on not stable space invoked
Exception: unknown propagator
Exception: uninitialized action
Exception: uninitialized random number generator
Exception: Copy constructor did not call base class copy constructor
#define GECODE_KERNEL_EXPORT
Exception: too many branchers
Exception: invalid function
Exception: Base-class for exceptions
Exception: action has wrong arity
Exception: Commit when no brancher present
Gecode toplevel namespace
Exception: illegal decay factor