Nodes should be rejected based on the existence of an edge, not based on
whether that edge has already been visited or not.

value to a clique

iterating over them

An updatable priority queue is required to change the keys of elements
if the priority queue when making decisions or backtracking, hence why
std::priority_queue was not appropriate.

A monotonic clock (e.g. clock_gettime(2), GetTickCount64) would be more
appropriate.

Changing (most of) these parameters from their default values would not
have worked without adding explicit template parameters to
e.g. recursive calls.

No commit message

No commit message

No commit message

No commit message

No commit message

No commit message