#include <Api/Searcher/Searcher.h>
#include <KttPlatform.h>
Go to the source code of this file.
Searcher which explores configurations in random order.